update measurements setup. make archives.

1 files changed, 47 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
new file mode 100644
index 00000000..842a770a
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
@@ -0,0 +1,47 @@
+import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore"
+import viatra   "src/queries/case_study_A_withRoot.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 TaxationWithRoot }
+        constraints = { package queries}
+        partial-model = { "inputs/Resource.xmi" }
+        solver = ViatraSolver
+        scope = {
+                #node += 70..*,
+                #<Household> += 0
+        }
+        
+        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