Adjustments to FamilyTree and Pledge Case studies

1 files changed, 25 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig
new file mode 100644
index 00000000..fa3f6000
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig
@@ -0,0 +1,25 @@
+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