.gitignore « tests « dslreasoner « ecse « mcgill « ca « xtend-gen « ca.mcgill.ecse.dslreasoner.vampire.language.tests « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/xtend-gen/ca/mcgill/ecse/dslreasoner/tests/.gitignore

blob: 87f7264b1c4d1916bbb07f9f204f19bcc931552e (plain) (blame)

1
2
3

/.VampireLanguageParsingTest.java._trace
/.VampireLanguageParsingTest.xtendbin
/VampireLanguageParsingTest.java