diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-22 04:27:36 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-22 04:27:36 +0100 |
| commit | bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8 (patch) | |
| tree | ceb0e2135361fbb7ad2a99f65c21cae17bc70ad5 /Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |
| parent | implement ignored attribute values as a config option (diff) | |
| download | VIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.tar.gz VIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.tar.zst VIATRA-Generator-bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8.zip | |
Issue where blocker is not between source and target
Diffstat (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')
| -rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index bee56db6..1d47952d 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
| @@ -23,7 +23,7 @@ generate { | |||
| 23 | log-level = none, | 23 | log-level = none, |
| 24 | "numeric-solver" = "dreal-local", | 24 | "numeric-solver" = "dreal-local", |
| 25 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | 25 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", |
| 26 | "ignored-attributes" = "CrossingScenario.maxTime=60", | 26 | "ignored-attributes" = "CollisionExists.collisionTime=*", |
| 27 | "scopePropagator" = "polyhedral"} | 27 | "scopePropagator" = "polyhedral"} |
| 28 | 28 | ||
| 29 | runs = 1 | 29 | runs = 1 |