diff options
author | 2020-05-11 12:51:37 -0400 | |
---|---|---|
committer | 2020-05-11 12:51:37 -0400 | |
commit | 58a9431a90d2ca147f56c45dcfd4654145550a01 (patch) | |
tree | 2a718ae79c198dd07268190e0b6d750ec7c7a6a2 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore | |
parent | Fine Tune PLEDGE Case Study Project and Main Method (diff) | |
download | VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.gz VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.zst VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.zip |
Add Satellite Case Study to testing framework
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore | 120 |
1 files changed, 0 insertions, 120 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore deleted file mode 100644 index f679c1a8..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore +++ /dev/null | |||
@@ -1,120 +0,0 @@ | |||
1 | /.Inv17.java._trace | ||
2 | /.Inv20.java._trace | ||
3 | /.Inv33_con.java._trace | ||
4 | /.Inv34.java._trace | ||
5 | /.Inv35.java._trace | ||
6 | /.Inv47.java._trace | ||
7 | /.Inv48.java._trace | ||
8 | /.Inv48_helper.java._trace | ||
9 | /.Case_study_A.java._trace | ||
10 | /.Inv49.java._trace | ||
11 | /.Inv49_con.java._trace | ||
12 | /.Inv49_helper.java._trace | ||
13 | /.H_inv49.java._trace | ||
14 | /.Ocl_inv49.java._trace | ||
15 | /.Vql_inv49.java._trace | ||
16 | /.Vql_inv492.java._trace | ||
17 | /.H1_inv48.java._trace | ||
18 | /.H2_inv48.java._trace | ||
19 | /.Vql_inv48.java._trace | ||
20 | /.H3_inv48.java._trace | ||
21 | /.H1_inv49.java._trace | ||
22 | /.H2_inv49.java._trace | ||
23 | /.H_inv47.java._trace | ||
24 | /.Inv35test.java._trace | ||
25 | /.Inv33.java._trace | ||
26 | /.X.java._trace | ||
27 | /.H_inv16_moreThan1.java._trace | ||
28 | /.H_inv48_1.java._trace | ||
29 | /.H_inv48_2.java._trace | ||
30 | /.H_inv48_3.java._trace | ||
31 | /.H_inv49_1.java._trace | ||
32 | /.H_inv49_2.java._trace | ||
33 | /.Inv16.java._trace | ||
34 | /.Inv15.java._trace | ||
35 | /.H_inv13.java._trace | ||
36 | /.Inv13.java._trace | ||
37 | /.Inv12.java._trace | ||
38 | /.H_inv12_notNonRes.java._trace | ||
39 | /.H_inv12_notZZ.java._trace | ||
40 | /.H_inv11_incOver100.java._trace | ||
41 | /.Inv11.java._trace | ||
42 | /.H_inv11_incNotOver100.java._trace | ||
43 | /.H_inv8_notEI.java._trace | ||
44 | /.Inv8.java._trace | ||
45 | /.H_inv08_notEI.java._trace | ||
46 | /.Inv08.java._trace | ||
47 | /.H_inv08_inRange.java._trace | ||
48 | /.X_inv08_inRange.java._trace | ||
49 | /.X_inv08_notEI.java._trace | ||
50 | /.X_inv11_incNotOver100.java._trace | ||
51 | /.X_inv11_incOver100.java._trace | ||
52 | /.X_inv12_notNonRes.java._trace | ||
53 | /.X_inv12_notZZ.java._trace | ||
54 | /.X_inv13.java._trace | ||
55 | /.X_inv47.java._trace | ||
56 | /.X_inv48_1.java._trace | ||
57 | /.X_inv48_2.java._trace | ||
58 | /.X_inv48_3.java._trace | ||
59 | /.X_inv49_1.java._trace | ||
60 | /.X_inv49_2.java._trace | ||
61 | /.X_inv48_Dis.java._trace | ||
62 | /.X_inv48_notDis.java._trace | ||
63 | /.X_inv08_noType.java._trace | ||
64 | /.X_inv08_invalidType.java._trace | ||
65 | /.Inv06.java._trace | ||
66 | /.X_inv06_inRange.java._trace | ||
67 | /.Inv05.java._trace | ||
68 | /.X_inv05_inRange.java._trace | ||
69 | /.Inv03.java._trace | ||
70 | /.X_inv03_noAll.java._trace | ||
71 | /.X_inv03_eligAll.java._trace | ||
72 | /.X_inv03_hasAll.java._trace | ||
73 | /.Inv07.java._trace | ||
74 | /.Inv10.java._trace | ||
75 | /.X_inv15.java._trace | ||
76 | /Inv03.java | ||
77 | /Inv05.java | ||
78 | /Inv06.java | ||
79 | /X_inv03_eligAll.java | ||
80 | /X_inv03_hasAll.java | ||
81 | /X_inv05_inRange.java | ||
82 | /Case_study_A.java | ||
83 | /Inv07.java | ||
84 | /Inv08.java | ||
85 | /Inv10.java | ||
86 | /Inv11.java | ||
87 | /Inv12.java | ||
88 | /Inv13.java | ||
89 | /Inv15.java | ||
90 | /Inv17.java | ||
91 | /Inv20.java | ||
92 | /Inv33.java | ||
93 | /Inv34.java | ||
94 | /Inv35.java | ||
95 | /Inv47.java | ||
96 | /Inv48.java | ||
97 | /Inv49.java | ||
98 | /X_inv08_inRange.java | ||
99 | /X_inv08_noType.java | ||
100 | /X_inv08_notEI.java | ||
101 | /X_inv11_incNotOver100.java | ||
102 | /X_inv11_incOver100.java | ||
103 | /X_inv12_notNonRes.java | ||
104 | /X_inv12_notZZ.java | ||
105 | /X_inv13.java | ||
106 | /X_inv15.java | ||
107 | /X_inv47.java | ||
108 | /X_inv48_3.java | ||
109 | /X_inv48_Dis.java | ||
110 | /X_inv48_notDis.java | ||
111 | /X_inv49_1.java | ||
112 | /X_inv49_2.java | ||
113 | /.FamilyTreeConstraints.java._trace | ||
114 | /.MemberHasParent.java._trace | ||
115 | /.MemberIsItsOwnParent.java._trace | ||
116 | /.NegativeAge.java._trace | ||
117 | /.ParentTooYoung.java._trace | ||
118 | /.TwoMembersHaveNoParent.java._trace | ||
119 | /.Case_study_short.java._trace | ||
120 | /.X_inv48.java._trace | ||