From c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 26 Apr 2020 18:23:13 -0400 Subject: Add PLEDGE case study files --- .../MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore new file mode 100644 index 00000000..bd13352d --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore @@ -0,0 +1,2 @@ +/.GenerateScenarios.java._trace +/.checkQueries.java._trace -- cgit v1.2.3-70-g09d2