diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-10 20:56:55 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-10 20:56:55 -0400 |
| commit | fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 (patch) | |
| tree | 4ee9262ebb91eb6bf8a84af0f771d6c4366c7b0d /Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore | |
| parent | Satelite case study update for Models-Attribute paper (diff) | |
| download | VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.gz VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.tar.zst VIATRA-Generator-fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6.zip | |
Fix PLEDGE Case Study File
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 | 8 |
1 files changed, 8 insertions, 0 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 index 527f3a0e..f679c1a8 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore | |||
| @@ -110,3 +110,11 @@ | |||
| 110 | /X_inv48_notDis.java | 110 | /X_inv48_notDis.java |
| 111 | /X_inv49_1.java | 111 | /X_inv49_1.java |
| 112 | /X_inv49_2.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 | ||