From 48871e1be75169e4e3768a7c0c47791e02c7e634 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 17 May 2020 01:58:13 -0400
Subject: update measurements setup. make archives.

---
 .../archives/genericTaxationNoRoot.vsconfig        | 46 ++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/archives/genericTaxationNoRoot.vsconfig

(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/archives/genericTaxationNoRoot.vsconfig')

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
-- 
cgit v1.2.3-54-g00ecf