bat file updated

070acdf1 · Vladislav Kiselev · 8af8ce77 · 8af8ce77 · 070acdf1
Commit 070acdf1 authored Nov 13, 2018 by Vladislav Kiselev
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 2 deletions

test/conversion_0_start.bat test/conversion_0_start.bat +0 -2

test/run.bat test/run.bat +8 -0

No files found.
--- a/test/conversion_0_start.bat
+++ b/test/conversion_0_start.bat
-minizinc --solver Gecode conversion_0.mzn conversion_0.dzn
-:: minizinc --solver Chuffed conversion_0.mzn conversion_0.data
--- a/test/run.bat
+++ b/test/run.bat
+del raw_result.txt
+del result.txt
+
+java -classpath "../out/production/Conversion" inport.Main to_MiniZinc in_1.ipp conversion_0.dzn
+
+minizinc --solver Gecode conversion_0.mzn conversion_0.dzn >> raw_result.txt
+
+java -classpath "../out/production/Conversion" inport.Main resolve_result in_1.ipp raw_result.txt result.txt