fixing the bug in maxcost-test knowlp#1

selineyp · Aug 16, 2018 · ede4b8d · ede4b8d
1 parent e2d1c33
commit ede4b8d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/examples/maxcost-test b/examples/maxcost-test
@@ -1,5 +1,8 @@
 
-java -jar ../xhail-0.5.2/xhail.jar -b -c /home/travis/miniconda/envs/test/clasp -g /home/travis/miniconda/envs/test/bin/gringo toys/example1.lp 5
+java -jar ../xhail-0.5.2/xhail.jar -b -c /home/travis/miniconda/envs/test/bin/clasp -g /home/travis/miniconda/envs/test/bin/gringo toys/example1.lp 8
+
+/home/travis/miniconda/envs/test/bin/clasp --version
+
 
 for ex in toys/*.lp; do
   for cost in {5..10}; do