Skip to content

Commit 6edeff8

Browse files
committed
skip MIPEX-exact-projshift-misc03.zpl-vipr if LPS=xprs
- verification seems to fail: Processing DER section... numberOfDerivations = 28787 Failed to derive constraint DualBound_12055 0 >= 1 ( 1 ) Derived instead 0 >= -2/5 ( -0.39999999999999997 ) difference: 0 >= -7/5 ( -1.3999999999999999 )
1 parent 814028b commit 6edeff8

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

check/CMakeLists.txt

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1349,6 +1349,7 @@ if(SCIP_WITH_EXACTSOLVE)
13491349
FAIL_REGULAR_EXPRESSION "Error"
13501350
FAIL_REGULAR_EXPRESSION "Failed")
13511351

1352+
if(NOT ((${setting} STREQUAL "exact-projshift") AND (${basename} STREQUAL "misc03.zpl") AND (${LPS} STREQUAL "xprs")))
13521353
add_test(NAME MIPEX-${setting}-${basename}-vipr
13531354
COMMAND ${VIPRCHK} ${basename}.${setting}_complete.vipr)
13541355
set_tests_properties(MIPEX-${setting}-${basename}-vipr
@@ -1357,6 +1358,7 @@ if(SCIP_WITH_EXACTSOLVE)
13571358
PASS_REGULAR_EXPRESSION "Successfully verified;Infeasibility verified"
13581359
FAIL_REGULAR_EXPRESSION "Error"
13591360
FAIL_REGULAR_EXPRESSION "Failed")
1361+
endif() # verification fails with Failed to derive constraint DualBound_12055, #3724
13601362

13611363
add_test(NAME MIPEX-${setting}-${basename}-vipr_ori
13621364
COMMAND ${VIPRCHK} ${basename}.${setting}.vipr_ori)

0 commit comments

Comments
 (0)