From 598fa1dae639ac110b2f549e8c2978ae3974c53a Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 19 Jan 2021 01:15:32 +0100
Subject: add vsconfig flag to allow running dreal locally

---
 Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index c79c5775..7f62377e 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -4,7 +4,7 @@ import viatra	"queries/crossingScenarioQueries.vql"
 generate {
 	metamodel = { package crossingScenario }
 	constraints = { package queries}
-	partial-model = { "inputs/CrossingScenarioInit.xmi"}
+	partial-model = { "inputs/crossingScenarioInit.xmi"}
 	solver = ViatraSolver
 	scope = {
 		#node = 15..100,
@@ -18,6 +18,7 @@ generate {
 		runtime = 10000,
 		log-level = normal,
 		"numeric-solver" = "z3",
+		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
 		"scopePropagator" = "typeHierarchy"}
 	
 	runs = 1	
-- 
cgit v1.2.3-70-g09d2