From fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 10 May 2020 20:56:55 -0400
Subject: Fix PLEDGE Case Study File

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

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

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..67e0a804
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig
@@ -0,0 +1,25 @@
+import epackage	"../case.study.pledge.model/model/Taxation.ecore"
+import viatra	"src/queries/case_study_A.vql"
+
+generate {
+	metamodel = { package Taxation }
+	constraints = { package queries}
+	partial-model = { "inputs/Household.xmi" }
+	solver = ViatraSolver
+	scope = {
+		#node = 70..80,
+		#int = {}
+	}
+	
+	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
-- 
cgit v1.2.3-54-g00ecf