Merge branch '3719-unallocated-memory-reallocated' into 'v91-bugfix'

Resolve "Unallocated memory reallocated"

See merge request integer/scip!3445

Author: Christopher Hojny

CHANGELOG

@@ -7,6 +7,7 @@ Fixed bugs
 ----------
 
 - fix bug in separator aggregation that caused incorrect terminations when for an integral objective the objective limit was set to a fractional value
+- fix bug in memory management of doublelex matrices where indices were set beyond array bounds
 
 Performance improvements
 ------------------------

check/CMakeLists.txt

@@ -489,6 +489,7 @@ set(pairs_Issue
     "instances/Issue/3681.cip\;0\;default"
     "instances/Issue/3688.cip\;131882\;reduced_presolving"
     "instances/Issue/3693.cip\;7812672.2316\;default"
+    "instances/Issue/3719.cip\;0\;presolving_off"
 )
 
 #