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 --- .../case.study.pledge.model/src-gen/queries/.gitignore | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.model/src-gen/queries/.gitignore (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src-gen/queries') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src-gen/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src-gen/queries/.gitignore new file mode 100644 index 00000000..1e50c85a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src-gen/queries/.gitignore @@ -0,0 +1,3 @@ +/.Case_study_A.java._trace +/.Inv25.java._trace +/.Mother.java._trace -- cgit v1.2.3-70-g09d2