/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/
../
.EcoreTest.xtendbin
.FAMTest.xtendbin
.FileSystemTest.xtendbin
.GeneralTest.xtendbin
.YakinduTest.xtendbin
.gitignore
EcoreTest.java
FAMTest.java
FileSystemTest.java
GeneralTest.java
YakinduTest.java