aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java')
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java1
1 files changed, 1 insertions, 0 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
index ad2c6d88..271a1cfb 100644
--- a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
+++ b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
@@ -24,6 +24,7 @@ public class CrossingScenarioMain {
24// Thread.sleep(2000); 24// Thread.sleep(2000);
25// System.out.println(System.getProperty("java.library.path")); 25// System.out.println(System.getProperty("java.library.path"));
26// System.loadLibrary("z3java"); 26// System.loadLibrary("z3java");
27// String errorMessages = StandaloneScriptExecutor.executeScript("inputs/csGenScale.vsconfig");
27 String errorMessages = StandaloneScriptExecutor.executeScript("inputs/crossingScenarioGen.vsconfig"); 28 String errorMessages = StandaloneScriptExecutor.executeScript("inputs/crossingScenarioGen.vsconfig");
28 if (errorMessages != null) { 29 if (errorMessages != null) {
29 System.out.println(errorMessages); 30 System.out.println(errorMessages);