1 files changed, 50 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore
new file mode 100644
index 00000000..96fc598c
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore
@@ -0,0 +1,50 @@
+/.EntryInRegion_M0.java._trace
+/.EntryInRegion_M1.java._trace
+/.EntryInRegion_M2.java._trace
+/.FamPatterns.java._trace
+/.MultipleEntryInRegion_M0.java._trace
+/.MultipleEntryInRegion_M1.java._trace
+/.MultipleEntryInRegion_M2.java._trace
+/.MultipleEntryInRegion_M3.java._trace
+/.MultipleEntryInRegion_M4.java._trace
+/.MultipleEntryInRegion_M5.java._trace
+/.NoEntryInRegion_M0.java._trace
+/.NoEntryInRegion_M1.java._trace
+/.NoEntryInRegion_M2.java._trace
+/.NoEntryInRegion_M3.java._trace
+/.NoEntryInRegion_M4.java._trace
+/.NoEntryInRegion_M5.java._trace
+/.TerminatorAndInformation.java._trace
+/.Transition_M0.java._trace
+/.Transition_M1.java._trace
+/.EntryInRegion.java._trace
+/.IncomingToEntry.java._trace
+/.MultipleEntryInRegion.java._trace
+/.MultipleTransitionFromEntry.java._trace
+/.NoEntryInRegion.java._trace
+/.NoOutgoingTransitionFromEntry.java._trace
+/.NoStateInRegion.java._trace
+/.OutgoingFromExit.java._trace
+/.OutgoingFromFinal.java._trace
+/.StateInRegion.java._trace
+/.Transition.java._trace
+/.Child.java._trace
+/.ChoiceHasNoIncoming.java._trace
+/.ChoiceHasNoOutgoing.java._trace
+/.HasMultipleIncomingTrainsition.java._trace
+/.HasMultipleOutgoingTrainsition.java._trace
+/.HasMultipleRegions.java._trace
+/.NotSynchronizingStates.java._trace
+/.SynchHasNoIncoming.java._trace
+/.SynchHasNoOutgoing.java._trace
+/.SynchThree.java._trace
+/.SynchronizedIncomingInSameRegion.java._trace
+/.SynchronizedRegionDoesNotHaveMultipleRegions.java._trace
+/.SynchronizedRegionsAreNotSiblings.java._trace
+/.TwoSynch.java._trace
+/.YakinduPatterns.java._trace
+/.Transition_M2.java._trace
+/.Transition_M3.java._trace
+/.IncomingToEntry_1.java._trace
+/.IncomingToEntry_M0.java._trace
+/.Transition_M4.java._trace