diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-19 12:46:58 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-19 12:46:58 +0100 |
commit | 953227f62ece22f06bc54a47eeec8bf79b25dc27 (patch) | |
tree | 72bf39c26b2e58bd5ac4ba0506cf78608e80c309 /Domains/crossingScenario/inputs | |
parent | add vsconfig flag to allow running dreal locally (diff) | |
download | VIATRA-Generator-953227f62ece22f06bc54a47eeec8bf79b25dc27.tar.gz VIATRA-Generator-953227f62ece22f06bc54a47eeec8bf79b25dc27.tar.zst VIATRA-Generator-953227f62ece22f06bc54a47eeec8bf79b25dc27.zip |
add Actor+CollisionExists constrs & adjust dreal parser & measurements
Diffstat (limited to 'Domains/crossingScenario/inputs')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index 7f62377e..acd622c5 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -7,21 +7,23 @@ generate { | |||
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 = 10..100, |
11 | #int = {}, | 11 | #int = {}, |
12 | #<Lane> = 10..25, | 12 | #<Lane> = 10..25, |
13 | #<Actor> = 10..25//, | 13 | #<Actor> = 10..25, |
14 | #<CollisionExists> = 1..10//, | ||
14 | //#<Relation> = 1..10 | 15 | //#<Relation> = 1..10 |
15 | } | 16 | } |
16 | 17 | ||
17 | config = { | 18 | config = { |
18 | runtime = 10000, | 19 | runtime = 10000, |
19 | log-level = normal, | 20 | log-level = none, |
20 | "numeric-solver" = "z3", | 21 | "numeric-solver" = "dreal-local", |
21 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | 22 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", |
22 | "scopePropagator" = "typeHierarchy"} | 23 | "scopePropagator" = "typeHierarchy"} |
23 | 24 | ||
24 | runs = 1 | 25 | runs = 1 |
26 | number = 10 | ||
25 | debug = "outputs/debug" | 27 | debug = "outputs/debug" |
26 | log = "outputs/debug/log.txt" | 28 | log = "outputs/debug/log.txt" |
27 | output = "outputs/models" | 29 | output = "outputs/models" |