From 070acdf15e96ddbea82564bc2836ee1b70e0eeba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9A=D0=B8=D1=81=D0=B5=D0=BB=D1=91=D0=B2=20=D0=92=D0=BB?= =?UTF-8?q?=D0=B0=D0=B4=D0=B8=D1=81=D0=BB=D0=B0=D0=B2?= Date: Tue, 13 Nov 2018 15:06:09 +0300 Subject: [PATCH] bat file updated --- test/conversion_0_start.bat | 2 -- test/run.bat | 8 ++++++++ 2 files changed, 8 insertions(+), 2 deletions(-) delete mode 100644 test/conversion_0_start.bat create mode 100644 test/run.bat diff --git a/test/conversion_0_start.bat b/test/conversion_0_start.bat deleted file mode 100644 index eb4e93a..0000000 --- a/test/conversion_0_start.bat +++ /dev/null @@ -1,2 +0,0 @@ -minizinc --solver Gecode conversion_0.mzn conversion_0.dzn -:: minizinc --solver Chuffed conversion_0.mzn conversion_0.data diff --git a/test/run.bat b/test/run.bat new file mode 100644 index 0000000..713e768 --- /dev/null +++ b/test/run.bat @@ -0,0 +1,8 @@ +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 -- GitLab