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.run/xtend-gen/run/.gitignore | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore new file mode 100644 index 00000000..01244e82 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore @@ -0,0 +1,5 @@ +/.GenerateScenarios.java._trace +/.checkQueries.java._trace +/.RunGenerator.xtendbin +/GenerateScenarios.java +/.GenerateScenarios.xtendbin -- cgit v1.2.3-54-g00ecf