Skip to content

Commit

Permalink
remove assert that no longer needs to hold
Browse files Browse the repository at this point in the history
- requiredsize can be larger than final number of nvars due to cancelation
- see also !3409#note_256099
  • Loading branch information
svigerske committed Nov 29, 2024
1 parent 0cec6e0 commit 0117191
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/scip/symmetry_graph.c
Original file line number Diff line number Diff line change
Expand Up @@ -1864,7 +1864,6 @@ SCIP_RETCODE SCIPgetSymActiveVariables(
SCIP_CALL( SCIPreallocBufferArray(scip, scalars, requiredsize) );

SCIP_CALL( SCIPgetProbvarLinearSum(scip, *vars, *scalars, nvars, requiredsize, constant, &requiredsize) );
assert(requiredsize <= *nvars);
}
}
else
Expand Down

0 comments on commit 0117191

Please sign in to comment.