diff options
author | 2021-02-03 02:35:39 +0100 | |
---|---|---|
committer | 2021-02-03 02:35:39 +0100 | |
commit | 14afb998045e508b07633ea63c72b582084f8c4c (patch) | |
tree | 9c03bcfce180a950adb26ed0ec0bcc5c45fdfaec /Domains/crossingScenario/inputs | |
parent | fix derived feature handling + impove dreal calling (diff) | |
download | VIATRA-Generator-14afb998045e508b07633ea63c72b582084f8c4c.tar.gz VIATRA-Generator-14afb998045e508b07633ea63c72b582084f8c4c.tar.zst VIATRA-Generator-14afb998045e508b07633ea63c72b582084f8c4c.zip |
major changes to CS case study, working example, few issues, major assumptions
Diffstat (limited to 'Domains/crossingScenario/inputs')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index 7d329d18..8ce9f6ee 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -10,7 +10,6 @@ generate { | |||
10 | scope = { | 10 | scope = { |
11 | #node += 0..* | 11 | #node += 0..* |
12 | ,#<Lane> += 0 | 12 | ,#<Lane> += 0 |
13 | //,#<Actor> = 25..* | ||
14 | ,#<Relation> += 0 | 13 | ,#<Relation> += 0 |
15 | //,#<CollisionExists> = 1 | 14 | //,#<CollisionExists> = 1 |
16 | //,#<SeparationDistance> = 0 | 15 | //,#<SeparationDistance> = 0 |
@@ -22,7 +21,7 @@ generate { | |||
22 | runtime = 10000, | 21 | runtime = 10000, |
23 | log-level = none, | 22 | log-level = none, |
24 | "numeric-solver" = "dreal-local", | 23 | "numeric-solver" = "dreal-local", |
25 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | 24 | "dreal-local-path" = "../../Solvers/dreal4/bazel-bin/dreal/dreal", |
26 | "ignored-attributes" = " | 25 | "ignored-attributes" = " |
27 | Pedestrian.xPos=*, | 26 | Pedestrian.xPos=*, |
28 | Pedestrian.yPos=*, | 27 | Pedestrian.yPos=*, |
@@ -40,7 +39,7 @@ generate { | |||
40 | "scopePropagator" = "polyhedral"} | 39 | "scopePropagator" = "polyhedral"} |
41 | 40 | ||
42 | runs = 1 | 41 | runs = 1 |
43 | number = 10 | 42 | number = 3 |
44 | debug = "outputs/debug" | 43 | debug = "outputs/debug" |
45 | log = "outputs/debug/log.txt" | 44 | log = "outputs/debug/log.txt" |
46 | output = "outputs/models" | 45 | output = "outputs/models" |