From a5c911874a2c15aaca81c747c6f267e3a6776d04 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 12 Jan 2021 13:30:52 -0500
Subject: rename simpleScenario folder

---
 .../inputs/simpleScenarioGen.vsconfig              | 28 ++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig

(limited to 'Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig')

diff --git a/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig b/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
new file mode 100644
index 00000000..14e0fbbd
--- /dev/null
+++ b/Domains/simpleScenario/inputs/simpleScenarioGen.vsconfig
@@ -0,0 +1,28 @@
+import epackage	"model/simpleScenario.ecore"
+import viatra	"queries/simpleScenarioQueries.vql"
+
+generate {
+	metamodel = { package simpleScenario }
+	constraints = { package queries}
+	partial-model = { "inputs/SimpleScenarioInstance.xmi"}
+	solver = ViatraSolver
+	scope = {
+		#node = 10..30,
+		#int = {},
+		#<Actor> = 1
+	}
+	
+	config = {
+		runtime = 10000,
+		log-level = normal,
+		"numeric-solver" = "dreal",
+		"scopePropagator" = "typeHierarchy"
+	}
+	
+	runs = 1
+	
+	debug =			"outputs/debug"
+	log =			"outputs/debug/log.txt"
+	output =		"outputs/models"	
+	statistics =	"outputs/statistics.csv"
+}
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf