update measurements setup. make archives.

1 files changed, 46 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/archives/genericTaxationNoRoot.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/archives/genericTaxationNoRoot.vsconfig
new file mode 100644
index 00000000..073a1f6d
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/archives/genericTaxationNoRoot.vsconfig
@@ -0,0 +1,46 @@
+import epackage "../case.study.pledge.model/model/Taxation.ecore"
+import viatra   "src/queries/case_study_A.vql"
+import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
+import viatra "src/queries/SatelliteQueries.vql"
+
+generate {
+        metamodel = { package satellite }
+        constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
+        partial-model = { "inputs/SatelliteInstance.xmi"}
+        solver = ViatraSolver
+        scope = {
+                #node += 20..*
+        }
+
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+
+        runs = 1
+
+        output = "measurements/debug/warmup"
+}
+
+generate {
+        metamodel = { package Taxation }
+        constraints = { package queries}
+        partial-model = { "inputs/Household.xmi" }
+        solver = ViatraSolver
+        scope = {
+                #node = 70..*
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        runs = 1
+        number = 10
+        
+        debug =                 "output/debug/"
+        log =                   "output/debug/log.txt"
+        output =                "output/models"
+        statistics =    "output/debug/statistics.csv"
+}
\ No newline at end of file