YAS directory languages/EIPL/tests

GitHub

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

---

Properties

None

---

Components

• languages/EIPL/tests/div.eipl (Imperative program)
• languages/EIPL/tests/missing-proc-dec.eipl (Imperative program)
• languages/EIPL/tests/missing-var-dec.eipl (Imperative program)
• languages/EIPL/tests/proc-clash.eipl (Imperative program)
• languages/EIPL/tests/var-clash.eipl (Imperative program)
• languages/EIPL/tests/.ueber (Megamodel)

---