From fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 10 May 2020 20:56:55 -0400 Subject: Fix PLEDGE Case Study File --- .../case.study.pledge.run/bin/queries/.gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/bin/queries/.gitignore') 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 @@ /X_inv48_notDis.java /X_inv49_1.java /X_inv49_2.java +/.FamilyTreeConstraints.java._trace +/.MemberHasParent.java._trace +/.MemberIsItsOwnParent.java._trace +/.NegativeAge.java._trace +/.ParentTooYoung.java._trace +/.TwoMembersHaveNoParent.java._trace +/.Case_study_short.java._trace +/.X_inv48.java._trace -- cgit v1.2.3-70-g09d2