Fix test 5 #34

jump-dev · May 5, 2017 · 7122b35 · 7122b35
1 parent d3d3bf6
commit 7122b35
Showing 1 changed file with 15 additions and 5 deletions.
diff --git a/test/glpk_tst_5.jl b/test/glpk_tst_5.jl
@@ -18,11 +18,21 @@ function glpk_tst_5()
     finally
         isfile(cnfcopy) && rm(cnfcopy)
     end
-    @test GLPK.minisat1(lp) == 0
+    if GLPK.version() >= (4, 57)
+        # in api/minisat1.c, there is:
+        #if (sizeof(void *) != sizeof(int))
+        #{  xprintf("glp_minisat1: sorry, MiniSat solver is not supported "
+        #      "on 64-bit platforms\n");
+        #   ret = GLP_EFAIL;
+        #   goto done;
+        #}
+        expected_ret = GLPK.EFAIL
+    else
+        expected_ret = 0
+    end
+    @test GLPK.minisat1(lp) == expected_ret
 
-    @test GLPK.intfeas1(lp, 0, 0) == 0
+    @test GLPK.intfeas1(lp, 0, 0) == expected_ret
 end
 
-# Test is failing on GLPK 4.61 for unknown reason
-println("Test disabled")
-#glpk_tst_5()
+glpk_tst_5()