diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
commit | bc403272d867f82edd623179d82c080e57154c1a (patch) | |
tree | 3551ba142ed725595ee684981fc8973cade2ebf4 /Domains | |
parent | add dreal-timeout flag (diff) | |
download | VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.gz VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.tar.zst VIATRA-Generator-bc403272d867f82edd623179d82c080e57154c1a.zip |
CrossingScenario case study is ready for serverdreal-integration
Diffstat (limited to 'Domains')
-rw-r--r-- | Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java index cce2b3f2..61fa51a2 100644 --- a/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java +++ b/Domains/crossingScenario/src/crossingScenario/run/DrawScenario.java | |||
@@ -32,10 +32,12 @@ public class DrawScenario { | |||
32 | public static final int SIZE = 1000; | 32 | public static final int SIZE = 1000; |
33 | 33 | ||
34 | public static void main(String[] args) throws IOException { | 34 | public static void main(String[] args) throws IOException { |
35 | for (int i = 1; i <= 10; i++) { | 35 | drawScenario("/home/models/VIATRA-Generator/Tests/MODELS2020-CaseStudies/case.study.pledge.run/measurements/models/StrategyNo/size01to-1r1n1rt300nsdreal-localdrto10000_16-0823/1.xmi" |
36 | drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png"); | 36 | , "outputs/drawnModelMisc.png"); |
37 | System.out.println("DONE " + i); | 37 | // for (int i = 1; i <= 10; i++) { |
38 | } | 38 | // drawScenario("outputs/models/"+i+".xmi", "outputs/drawnModel"+i+".png"); |
39 | // System.out.println("DONE " + i); | ||
40 | // } | ||
39 | } | 41 | } |
40 | 42 | ||
41 | public static File drawScenario(String pathToXmi, String saveToPath) throws IOException { | 43 | public static File drawScenario(String pathToXmi, String saveToPath) throws IOException { |