Merge remote-tracking branch 'origin/v92-bugfix' into v9-minor

scip-ci · scip-ci · commit 50b8de52e380 · 2025-04-23T15:36:44.000+02:00
diff --git a/src/scip/scip_debug.c b/src/scip/scip_debug.c
@@ -45,6 +45,7 @@
 #include "scip/debug.h"
 #include "scip/pub_message.h"
 #include "scip/scip_debug.h"
+#include "scip/scip_prop.h"
 
 /** enable debug solution mechanism
  *
@@ -60,6 +61,9 @@ void SCIPenableDebugSol(
 {
    SCIP_CALL_ABORT( SCIPcheckStage(scip, "SCIPenableDebugSol", TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, FALSE) );
 
+   if( SCIPfindProp(scip, "debug") == NULL )
+      (void)SCIPdebugIncludeProp(scip);
+
    SCIPdebugSolEnable(scip);
 }
 
diff --git a/src/scip/scipdefplugins.c b/src/scip/scipdefplugins.c
@@ -271,7 +271,5 @@ SCIP_RETCODE SCIPincludeDefaultPlugins(
    SCIP_CALL( SCIPincludeConcurrentScipSolvers(scip) );
    SCIP_CALL( SCIPincludeBendersDefault(scip) );
 
-   SCIP_CALL( SCIPdebugIncludeProp(scip) ); /*lint !e506 !e774*/
-
    return SCIP_OKAY;
 }

Original file line number	Diff line number	Diff line change
`@@ -45,6 +45,7 @@`
`45`	`45`	`#include "scip/debug.h"`
`46`	`46`	`#include "scip/pub_message.h"`
`47`	`47`	`#include "scip/scip_debug.h"`
	`48`	`+#include "scip/scip_prop.h"`
`48`	`49`
`49`	`50`	`/** enable debug solution mechanism`
`50`	`51`	`*`
`@@ -60,6 +61,9 @@ void SCIPenableDebugSol(`
`60`	`61`	`{`
`61`	`62`	`SCIP_CALL_ABORT( SCIPcheckStage(scip, "SCIPenableDebugSol", TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, FALSE) );`
`62`	`63`
	`64`	`+ if( SCIPfindProp(scip, "debug") == NULL )`
	`65`	`+ (void)SCIPdebugIncludeProp(scip);`
	`66`	`+`
`63`	`67`	`SCIPdebugSolEnable(scip);`
`64`	`68`	`}`
`65`	`69`
Original file line number	Diff line number	Diff line change
`@@ -271,7 +271,5 @@ SCIP_RETCODE SCIPincludeDefaultPlugins(`
`271`	`271`	`SCIP_CALL( SCIPincludeConcurrentScipSolvers(scip) );`
`272`	`272`	`SCIP_CALL( SCIPincludeBendersDefault(scip) );`
`273`	`273`
`274`		`- SCIP_CALL( SCIPdebugIncludeProp(scip) ); /lint !e506 !e774/`
`275`		`-`
`276`	`274`	`return SCIP_OKAY;`
`277`	`275`	`}`