From cc64c325bc12888b76cb93e814e6b46347d5c4cb Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 11 May 2020 10:18:54 -0400 Subject: Fine Tune PLEDGE Case Study Project and Main Method --- .../case.study.pledge.run/config/taxation.vsconfig | 25 ---------------------- 1 file changed, 25 deletions(-) delete mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig deleted file mode 100644 index 0c819976..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig +++ /dev/null @@ -1,25 +0,0 @@ -//import epackage "config/Taxation.ecore" -////import viatra "src/queries/familyTreeConstraints.vql" -// -//generate { -// metamodel = { package Taxation } -// //constraints = { package queries} -// solver = ViatraSolver -// scope = { -// //#node = 6, -// #int = {0}, -// #real = {0.0} -// } -// -// config = { -// runtime = 10, -// log-level = normal -// } -// -// runs = 1 -// -// debug = "config/output/debug/" -// log = "config/output/debug/log.txt" -// output = "config/output/models" -// statistics = "config/output/debug/statistics.csv" -//} \ No newline at end of file -- cgit v1.2.3-70-g09d2