From 68a0667e862f0714410aafbb499a95a03f5bee23 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 28 Apr 2020 00:29:00 -0400 Subject: Able to run Pledge Case Study --- .../case.study.pledge.queries/xtend-gen/run/.gitignore | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore deleted file mode 100644 index 8e503b4a..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -/.GenerateScenarios.java._trace -/.checkQueries.java._trace -/.RunGenerator.xtendbin -/GenerateScenarios.java -- cgit v1.2.3-70-g09d2