fixing the bug in maxcost-test knowlp#2

selineyp · Aug 16, 2018 · 7614764 · 7614764
1 parent ede4b8d
commit 7614764
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/examples/maxcost-test b/examples/maxcost-test
@@ -1,8 +1,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
-
+gtimeout 10s time 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
 
 for ex in toys/*.lp; do
   for cost in {5..10}; do