From 14afb998045e508b07633ea63c72b582084f8c4c Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 3 Feb 2021 02:35:39 +0100 Subject: major changes to CS case study, working example, few issues, major assumptions --- Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig') 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 { scope = { #node += 0..* ,# += 0 - //,# = 25..* ,# += 0 //,# = 1 //,# = 0 @@ -22,7 +21,7 @@ generate { runtime = 10000, log-level = none, "numeric-solver" = "dreal-local", - "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", + "dreal-local-path" = "../../Solvers/dreal4/bazel-bin/dreal/dreal", "ignored-attributes" = " Pedestrian.xPos=*, Pedestrian.yPos=*, @@ -40,7 +39,7 @@ generate { "scopePropagator" = "polyhedral"} runs = 1 - number = 10 + number = 3 debug = "outputs/debug" log = "outputs/debug/log.txt" output = "outputs/models" -- cgit v1.2.3-70-g09d2