From 58a9431a90d2ca147f56c45dcfd4654145550a01 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 11 May 2020 12:51:37 -0400
Subject: Add Satellite Case Study to testing framework

---
 .../src-gen/queries/.gitignore                     | 120 ---------------------
 1 file changed, 120 deletions(-)
 delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/.gitignore

(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/.gitignore')

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/.gitignore
deleted file mode 100644
index f679c1a8..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src-gen/queries/.gitignore
+++ /dev/null
@@ -1,120 +0,0 @@
-/.Inv17.java._trace
-/.Inv20.java._trace
-/.Inv33_con.java._trace
-/.Inv34.java._trace
-/.Inv35.java._trace
-/.Inv47.java._trace
-/.Inv48.java._trace
-/.Inv48_helper.java._trace
-/.Case_study_A.java._trace
-/.Inv49.java._trace
-/.Inv49_con.java._trace
-/.Inv49_helper.java._trace
-/.H_inv49.java._trace
-/.Ocl_inv49.java._trace
-/.Vql_inv49.java._trace
-/.Vql_inv492.java._trace
-/.H1_inv48.java._trace
-/.H2_inv48.java._trace
-/.Vql_inv48.java._trace
-/.H3_inv48.java._trace
-/.H1_inv49.java._trace
-/.H2_inv49.java._trace
-/.H_inv47.java._trace
-/.Inv35test.java._trace
-/.Inv33.java._trace
-/.X.java._trace
-/.H_inv16_moreThan1.java._trace
-/.H_inv48_1.java._trace
-/.H_inv48_2.java._trace
-/.H_inv48_3.java._trace
-/.H_inv49_1.java._trace
-/.H_inv49_2.java._trace
-/.Inv16.java._trace
-/.Inv15.java._trace
-/.H_inv13.java._trace
-/.Inv13.java._trace
-/.Inv12.java._trace
-/.H_inv12_notNonRes.java._trace
-/.H_inv12_notZZ.java._trace
-/.H_inv11_incOver100.java._trace
-/.Inv11.java._trace
-/.H_inv11_incNotOver100.java._trace
-/.H_inv8_notEI.java._trace
-/.Inv8.java._trace
-/.H_inv08_notEI.java._trace
-/.Inv08.java._trace
-/.H_inv08_inRange.java._trace
-/.X_inv08_inRange.java._trace
-/.X_inv08_notEI.java._trace
-/.X_inv11_incNotOver100.java._trace
-/.X_inv11_incOver100.java._trace
-/.X_inv12_notNonRes.java._trace
-/.X_inv12_notZZ.java._trace
-/.X_inv13.java._trace
-/.X_inv47.java._trace
-/.X_inv48_1.java._trace
-/.X_inv48_2.java._trace
-/.X_inv48_3.java._trace
-/.X_inv49_1.java._trace
-/.X_inv49_2.java._trace
-/.X_inv48_Dis.java._trace
-/.X_inv48_notDis.java._trace
-/.X_inv08_noType.java._trace
-/.X_inv08_invalidType.java._trace
-/.Inv06.java._trace
-/.X_inv06_inRange.java._trace
-/.Inv05.java._trace
-/.X_inv05_inRange.java._trace
-/.Inv03.java._trace
-/.X_inv03_noAll.java._trace
-/.X_inv03_eligAll.java._trace
-/.X_inv03_hasAll.java._trace
-/.Inv07.java._trace
-/.Inv10.java._trace
-/.X_inv15.java._trace
-/Inv03.java
-/Inv05.java
-/Inv06.java
-/X_inv03_eligAll.java
-/X_inv03_hasAll.java
-/X_inv05_inRange.java
-/Case_study_A.java
-/Inv07.java
-/Inv08.java
-/Inv10.java
-/Inv11.java
-/Inv12.java
-/Inv13.java
-/Inv15.java
-/Inv17.java
-/Inv20.java
-/Inv33.java
-/Inv34.java
-/Inv35.java
-/Inv47.java
-/Inv48.java
-/Inv49.java
-/X_inv08_inRange.java
-/X_inv08_noType.java
-/X_inv08_notEI.java
-/X_inv11_incNotOver100.java
-/X_inv11_incOver100.java
-/X_inv12_notNonRes.java
-/X_inv12_notZZ.java
-/X_inv13.java
-/X_inv15.java
-/X_inv47.java
-/X_inv48_3.java
-/X_inv48_Dis.java
-/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