From e44d27fde5c3b6c933ea3de33781f6ad03d6545b Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 6 May 2020 16:16:57 -0400
Subject: Adjustments to FamilyTree and Pledge Case studies

---
 .../case.study.pledge.run/config/taxation.vsconfig | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig

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

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