Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore


1
2
3
4
5
6
7
8
9
10
11
12

/.VampireTest.java._trace
/.SimpleRun.java._trace
/.DslTest.java._trace
/.MedicalSystem.java._trace
/.DslTest.xtendbin
/.MedicalSystem.xtendbin
/.SimpleRun.xtendbin
/.VampireTest.xtendbin
/DslTest.java
/MedicalSystem.java
/VampireTest.java
/.FAMTest.java._trace