Merge branch 'fix-debug-sol' into 'v92-bugfix'

fix check whether a debug solution has been read already See merge request integer/scip!3722
scipopt · Mar 2, 2025 · 322e589 · 322e589
2 parents 6b4c457 + 13074a4
commit 322e589
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/scip/debug.c b/src/scip/debug.c
@@ -119,6 +119,7 @@ SCIP_Bool debugSolutionAvailable(
    assert(set != NULL);
 
    debugsoldata = SCIPsetGetDebugSolData(set);
+   assert(debugsoldata != NULL);
 
    /* check whether a debug solution is specified */
     if( strcmp(set->misc_debugsol, "-") == 0 )
@@ -348,13 +349,15 @@ SCIP_RETCODE readSolution(
 
    assert(set != NULL);
 
-   debugsoldata = SCIPsetGetDebugSolData(set);
-
    /* check whether a debug solution is available */
    if( !debugSolutionAvailable(set) )
       return SCIP_OKAY;
 
-   if( debugsoldata == NULL || debugsoldata->nsolvals > 0 )
+   debugsoldata = SCIPsetGetDebugSolData(set);
+   assert(debugsoldata != NULL);
+
+   /* check whether no debug solution is read */
+   if( debugsoldata->debugsol != NULL )
       return SCIP_OKAY;
 
    SCIP_CALL( readSolfile(set, set->misc_debugsol, &debugsoldata->debugsol, &debugsoldata->debugsolval,