Skip to content

Commit befcf22

Browse files
committed
Merge branch 'fix-papilo-assertion' into 'v91-bugfix'
Fix PaPILO assertions See merge request integer/scip!3565
2 parents d7027af + 5b7d816 commit befcf22

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

src/scip/presol_milp.cpp

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -739,7 +739,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
739739
*/
740740
if( SCIPvarGetStatus(varx) == SCIP_VARSTATUS_FIXED && SCIPvarGetStatus(vary) == SCIP_VARSTATUS_FIXED )
741741
{
742-
assert(false);
742+
SCIPdebugMsg(scip, "Aggregation of <%s> and <%s> rejected because they are already fixed.\n",
743+
SCIPvarGetName(varx), SCIPvarGetName(vary));
744+
743745
break;
744746
}
745747

@@ -783,7 +785,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
783785
*/
784786
if( SCIPvarGetStatus(aggrvar) == SCIP_VARSTATUS_FIXED )
785787
{
786-
assert(false);
788+
SCIPdebugMsg(scip, "Multi-aggregation of <%s> rejected because it is already fixed.\n",
789+
SCIPvarGetName(aggrvar));
790+
787791
break;
788792
}
789793

0 commit comments

Comments
 (0)