1 files changed, 75 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore
new file mode 100644
index 00000000..16afa8c0
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore
@@ -0,0 +1,75 @@
+/.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