/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/
../
.DslTest.xtendbin
.MedicalSystem.xtendbin
.SimpleRun.xtendbin
.VampireTest.xtendbin
.gitignore
DslTest.java
MedicalSystem.java
VampireTest.java