--- papilo-2.2.1/test/CMakeLists.txt.orig 2024-06-07 12:08:24.748855015 -0600 +++ papilo-2.2.1/test/CMakeLists.txt 2024-06-07 12:11:45.357301793 -0600 @@ -65,8 +65,6 @@ if(${CMAKE_SYSTEM_NAME} STREQUAL "Androi endif() set(unit_tests - "accurate-numerical-statistics" - "matrix-buffer" "vector-comparisons" "matrix-comparisons" @@ -94,7 +92,7 @@ set(unit_tests "domcol-happy-path" "domcol-parallel-columns" "domcol-multiple-parallel-cols-generate_redundant-reductions" - "domcol-multiple-column" + #"domcol-multiple-columns" #DualFix "dual-fix-happy-path" @@ -130,13 +128,13 @@ set(unit_tests "parallel-row-two-inequalities-tighten-upper-bound-first-row-dominant" "parallel-row-two-inequalities-infeasible-first-row-dominant" "parallel-row-two-inequalities-infeasible-second-row-dominant" - "parallel-row-two-inequalities-tighten-upper-bound-first-row-neg" + "parallel-row-two-inequalities-tighten-upper-bound-first-row-negfactor-dominant" "parallel-row-overwrite-inf-first-row-rhs-inf" "parallel-row-overwrite-inf-first-row-lhs-inf" "parallel-row-overwrite-inf-first-row-lhs-inf-neg-factor" "parallel-row-mixed-infeasible-first-row-equation" "parallel-row-best-bound-is-used-for-rhs-coeff-not-1" - "parallel-row-best-bound-is-used-for-rhs-coeff" + "parallel-row-best-bound-is-used-for-rhs" "parallel-row-mixed-second-row-equation" "parallel-row-mixed-infeasible-second-row-equation" "parallel-row-multiple-parallel-rows" @@ -165,6 +163,7 @@ set(unit_tests "happy-path-singleton-column-implied-bounds-negative-coeff-neg-bounds" "happy-path-singleton-column-implied-bounds-positive-coeff-pos-bounds" "happy-path-singleton-column-implied-bounds-positive-coeff-neg-bounds" + "happy-path-singleton-column-infinity-bounds-equation" #Singleton Stuffing "singleton-stuffing-make-sure-to-first-set-bounds-to-infinity" @@ -174,32 +173,35 @@ set(unit_tests "simple-probing-negative-binary-coeff" "simple-probing-positive-binary-coeff" "simple-different-int-coeff" - "simple-different-int-coeff-pt2" + #"simple-different-int-coeff.pt2" #Simple Substitution "simple-substitution-happy-path-for-2-int" "simple-substitution-happy-path-for-2-continuous" "simple-substitution-happy-path-for-continuous-and-integer" "simple-substitution-happy-path-for-int-continuous-coeff" - "simple-substitution-should_return_infeasible_if_gcd_of_coeff_is_in_rhs" - "simple-substitution-should_return_feasible_if_gcd_of_coeff_is_in_rhs" - "simple-substitution-failed-path-for-2-int" + "simple-substitution-simple-substitution-for-2-int" + "example_10_1_in_constraint_integer_programming" + "should_return_infeasible_if_gcd_of_coeff_is_in_rhs" + "should_return_feasible_if_gcd_of_coeff_is_in_rhs" "simple-substitution-2-negative-integer" "simple-substitution-feasible-gcd" "simple-substitution-non-coprime" "simple-substitution-violated-gcd" #Simplify Inequality - "happy-path-simplify-inequalities-only-greatest-divisor" + #"happy-path-simplify-inequalities" "simplify_inequ_doesnt_lock_more_rows" "simplify_inequ_doesnt_apply_lb_and_ub_on_one_row" #Sparsify "happy-path-sparsify" "happy-path-sparsify-two-equalities" - "failed-path-sparsify" + "failed-path-sparsify-if-misses-one-for-integer" + "happy-path-sparsify-if-misses-one-for-continuous" + "happy-path-sparsify-if-misses-one-for-continuous_2" + "failed-path-sparsify-if-misses-two-for-continuous" - "integration-test-for-flugpl" ${PAPILOLIB_TESTS} ${BOOST_REQUIRED_TESTS} )