diff options
author | 2021-01-22 00:50:08 +0100 | |
---|---|---|
committer | 2021-01-22 00:50:08 +0100 | |
commit | 8ac747b1b84513c70f8445a7c84c6a3644a1f6fa (patch) | |
tree | 7dcb0ae4b0c62c5528be51e9396185fc9b7274a7 /Domains/crossingScenario/inputs | |
parent | Major MM update + Refactor VQL + post-meeting approach change (diff) | |
download | VIATRA-Generator-8ac747b1b84513c70f8445a7c84c6a3644a1f6fa.tar.gz VIATRA-Generator-8ac747b1b84513c70f8445a7c84c6a3644a1f6fa.tar.zst VIATRA-Generator-8ac747b1b84513c70f8445a7c84c6a3644a1f6fa.zip |
implement ignored attribute values as a config option
Diffstat (limited to 'Domains/crossingScenario/inputs')
-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 1db557a9..bee56db6 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -23,6 +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 | "scopePropagator" = "polyhedral"} | 27 | "scopePropagator" = "polyhedral"} |
27 | 28 | ||
28 | runs = 1 | 29 | runs = 1 |