1 files changed, 45 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig
new file mode 100644
index 00000000..107c3294
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig
@@ -0,0 +1,45 @@
+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..*
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        runs = 1
+        
+        debug =                 "output/debug/"
+        log =                   "output/debug/log.txt"
+        output =                "output/models"
+        statistics =    "output/debug/statistics.csv"
+}
+\ No newline at end of file

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig new file mode 100644 index 00000000..107c3294 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig
@@ -0,0 +1,45 @@
	1	import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore"
	2	import viatra "src/queries/case_study_A_withRoot.vql"
	3	import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
	4	import viatra "src/queries/SatelliteQueries.vql"
	5
	6	generate {
	7	metamodel = { package satellite }
	8	constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
	9	partial-model = { "inputs/SatelliteInstance.xmi"}
	10	solver = ViatraSolver
	11	scope = {
	12	#node += 20..*
	13	}
	14
	15	config = {
	16	runtime = 10000,
	17	log-level = normal
	18	}
	19
	20	runs = 1
	21
	22	output = "measurements/debug/warmup"
	23	}
	24
	25	generate {
	26	metamodel = { package TaxationWithRoot }
	27	constraints = { package queries}
	28	partial-model = { "inputs/Resource.xmi" }
	29	solver = ViatraSolver
	30	scope = {
	31	#node = 70..*
	32	}
	33
	34	config = {
	35	runtime = 10000,
	36	log-level = normal
	37	}
	38
	39	runs = 1
	40
	41	debug = "output/debug/"
	42	log = "output/debug/log.txt"
	43	output = "output/models"
	44	statistics = "output/debug/statistics.csv"
	45	} \ No newline at end of file