diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
| commit | 0ebddc8dd265cd5b1b439e3c06f1de1047641559 (patch) | |
| tree | 7141673072f4d6a48a9b12d23b9f01261717a8f7 /Domains | |
| parent | Ready for strategies case study (diff) | |
| download | VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.gz VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.zst VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.zip | |
add dreal-timeout flag
Diffstat (limited to 'Domains')
| -rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index db00ed7b..401273b2 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
| @@ -22,6 +22,7 @@ generate { | |||
| 22 | log-level = none, | 22 | log-level = none, |
| 23 | "numeric-solver" = "dreal-local", | 23 | "numeric-solver" = "dreal-local", |
| 24 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | 24 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", |
| 25 | "dreal-timeout" = "10000", | ||
| 25 | "strategy" = "crossingScenario", | 26 | "strategy" = "crossingScenario", |
| 26 | "ignored-attributes" = " | 27 | "ignored-attributes" = " |
| 27 | Pedestrian.xPos=*, | 28 | Pedestrian.xPos=*, |