diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | 50 |
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 @@ | |||
1 | /.EntryInRegion_M0.java._trace | ||
2 | /.EntryInRegion_M1.java._trace | ||
3 | /.EntryInRegion_M2.java._trace | ||
4 | /.FamPatterns.java._trace | ||
5 | /.MultipleEntryInRegion_M0.java._trace | ||
6 | /.MultipleEntryInRegion_M1.java._trace | ||
7 | /.MultipleEntryInRegion_M2.java._trace | ||
8 | /.MultipleEntryInRegion_M3.java._trace | ||
9 | /.MultipleEntryInRegion_M4.java._trace | ||
10 | /.MultipleEntryInRegion_M5.java._trace | ||
11 | /.NoEntryInRegion_M0.java._trace | ||
12 | /.NoEntryInRegion_M1.java._trace | ||
13 | /.NoEntryInRegion_M2.java._trace | ||
14 | /.NoEntryInRegion_M3.java._trace | ||
15 | /.NoEntryInRegion_M4.java._trace | ||
16 | /.NoEntryInRegion_M5.java._trace | ||
17 | /.TerminatorAndInformation.java._trace | ||
18 | /.Transition_M0.java._trace | ||
19 | /.Transition_M1.java._trace | ||
20 | /.EntryInRegion.java._trace | ||
21 | /.IncomingToEntry.java._trace | ||
22 | /.MultipleEntryInRegion.java._trace | ||
23 | /.MultipleTransitionFromEntry.java._trace | ||
24 | /.NoEntryInRegion.java._trace | ||
25 | /.NoOutgoingTransitionFromEntry.java._trace | ||
26 | /.NoStateInRegion.java._trace | ||
27 | /.OutgoingFromExit.java._trace | ||
28 | /.OutgoingFromFinal.java._trace | ||
29 | /.StateInRegion.java._trace | ||
30 | /.Transition.java._trace | ||
31 | /.Child.java._trace | ||
32 | /.ChoiceHasNoIncoming.java._trace | ||
33 | /.ChoiceHasNoOutgoing.java._trace | ||
34 | /.HasMultipleIncomingTrainsition.java._trace | ||
35 | /.HasMultipleOutgoingTrainsition.java._trace | ||
36 | /.HasMultipleRegions.java._trace | ||
37 | /.NotSynchronizingStates.java._trace | ||
38 | /.SynchHasNoIncoming.java._trace | ||
39 | /.SynchHasNoOutgoing.java._trace | ||
40 | /.SynchThree.java._trace | ||
41 | /.SynchronizedIncomingInSameRegion.java._trace | ||
42 | /.SynchronizedRegionDoesNotHaveMultipleRegions.java._trace | ||
43 | /.SynchronizedRegionsAreNotSiblings.java._trace | ||
44 | /.TwoSynch.java._trace | ||
45 | /.YakinduPatterns.java._trace | ||
46 | /.Transition_M2.java._trace | ||
47 | /.Transition_M3.java._trace | ||
48 | /.IncomingToEntry_1.java._trace | ||
49 | /.IncomingToEntry_M0.java._trace | ||
50 | /.Transition_M4.java._trace | ||