YAS directory languages/BSTL/tests

GitHub

https://github.com/softlang/yas/tree/master/languages/BSTL/tests

---

Properties

None

---

Components

• languages/BSTL/tests/sig1.bsl (Algebraic signature)
• languages/BSTL/tests/sig2.bsl (Algebraic signature)
• languages/BSTL/tests/.ueber (Megamodel)
• languages/BSTL/tests/trafo1.ueber (Megamodel)

---