/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/
../
EcoreTest.xtend
FAMTest.xtend
FileSystemTest.xtend
GeneralTest.xtend
YakinduTest.xtend
YakinduTestAlloy.xtend
YakinduTestViatra.xtend
tester.xtend