release ready

potassco · Oct 6, 2017 · 2bdcfb1 · 2bdcfb1
1 parent 6921a43
commit 2bdcfb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/asprin/src/tests/tester.py b/asprin/src/tests/tester.py
@@ -39,7 +39,7 @@
     ["--no-opt-improving"],
     ["--volatile-improving"],
     ["--volatile-optimal"],
-    ["--preference-unsat $asprin/mine/asprin_lib_unsat.lp"],
+    #["--preference-unsat $asprin/mine/asprin_lib_unsat.lp"],
     ["--solving-mode=heuristic"],
     ["--solving-mode=heuristic --const-nb heuristic_aso=2"],
     ["--solving-mode=heuristic --const-nb heuristic_aso=2 --const-nb use_get_sequence=2 "],