diff options
author | 2020-04-27 10:45:28 -0400 | |
---|---|---|
committer | 2020-04-27 10:45:28 -0400 | |
commit | 36ca60e5b6bd047a4f444d96241bd60a01bbab17 (patch) | |
tree | 472ee15861945af6b7056d19250734ffab4c3aef /Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin | |
parent | Merge branch 'Attribute-Solver' (diff) | |
download | VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.tar.gz VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.tar.zst VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.zip |
rename Pledge Case Studies and add familyTree case study
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin')
4 files changed, 41 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore new file mode 100644 index 00000000..3d70f0da --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore | |||
@@ -0,0 +1,2 @@ | |||
1 | /queries/ | ||
2 | /run/ | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore index 16afa8c0..527f3a0e 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore | |||
@@ -73,3 +73,40 @@ | |||
73 | /.Inv07.java._trace | 73 | /.Inv07.java._trace |
74 | /.Inv10.java._trace | 74 | /.Inv10.java._trace |
75 | /.X_inv15.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 | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin index 325fee79..e2021169 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore index bd13352d..8e503b4a 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore | |||
@@ -1,2 +1,4 @@ | |||
1 | /.GenerateScenarios.java._trace | 1 | /.GenerateScenarios.java._trace |
2 | /.checkQueries.java._trace | 2 | /.checkQueries.java._trace |
3 | /.RunGenerator.xtendbin | ||
4 | /GenerateScenarios.java | ||