Skip to content

Commit 96386ad

Browse files
committed
Merge remote-tracking branch 'origin/v91-bugfix' into v92-bugfix
2 parents 55360da + befcf22 commit 96386ad

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
@@ -760,7 +760,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
760760
*/
761761
if( SCIPvarGetStatus(varx) == SCIP_VARSTATUS_FIXED && SCIPvarGetStatus(vary) == SCIP_VARSTATUS_FIXED )
762762
{
763-
assert(false);
763+
SCIPdebugMsg(scip, "Aggregation of <%s> and <%s> rejected because they are already fixed.\n",
764+
SCIPvarGetName(varx), SCIPvarGetName(vary));
765+
764766
break;
765767
}
766768

@@ -804,7 +806,9 @@ SCIP_DECL_PRESOLEXEC(presolExecMILP)
804806
*/
805807
if( SCIPvarGetStatus(aggrvar) == SCIP_VARSTATUS_FIXED )
806808
{
807-
assert(false);
809+
SCIPdebugMsg(scip, "Multi-aggregation of <%s> rejected because it is already fixed.\n",
810+
SCIPvarGetName(aggrvar));
811+
808812
break;
809813
}
810814

0 commit comments

Comments
 (0)