diff options
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 | ||