diff options
Diffstat (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 3 |
1 files changed, 2 insertions, 1 deletions
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" | |||
4 | generate { | 4 | generate { |
5 | metamodel = { package crossingScenario } | 5 | metamodel = { package crossingScenario } |
6 | constraints = { package queries} | 6 | constraints = { package queries} |
7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} | 7 | partial-model = { "inputs/crossingScenarioInit.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |
10 | #node = 15..100, | 10 | #node = 15..100, |
@@ -18,6 +18,7 @@ generate { | |||
18 | runtime = 10000, | 18 | runtime = 10000, |
19 | log-level = normal, | 19 | log-level = normal, |
20 | "numeric-solver" = "z3", | 20 | "numeric-solver" = "z3", |
21 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | ||
21 | "scopePropagator" = "typeHierarchy"} | 22 | "scopePropagator" = "typeHierarchy"} |
22 | 23 | ||
23 | runs = 1 | 24 | runs = 1 |