Merge branch 'exact-avoid-double-initialisation' into 'master'

ambros-gleixner · ambros-gleixner · commit 5a6ba327e4c2 · 2025-09-04T13:28:54.000+02:00
exact: avoid double initialization in certificate.cpp

See merge request integer/scip!3975
diff --git a/src/scip/certificate.cpp b/src/scip/certificate.cpp
@@ -765,13 +765,11 @@ SCIP_RETCODE SCIPcertificateInitTransFile(
       {
          SCIP_CALL( SCIPcertificatePrintBoundCons(certificate, FALSE, NULL, vars[j], SCIPvarGetLbGlobalExact(vars[j]), FALSE) );
          SCIPvarSetLbCertificateIndexGlobal(vars[j], certificate->indexcounter - 1);
-         SCIPvarSetLbCertificateIndexLocal(vars[j], certificate->indexcounter - 1);
       }
       if( !SCIPrationalIsAbsInfinity(SCIPvarGetUbGlobalExact(vars[j])) )
       {
          SCIP_CALL( SCIPcertificatePrintBoundCons(certificate, FALSE, NULL, vars[j], SCIPvarGetUbGlobalExact(vars[j]), TRUE) );
          SCIPvarSetUbCertificateIndexGlobal(vars[j], certificate->indexcounter - 1);
-         SCIPvarSetUbCertificateIndexLocal(vars[j], certificate->indexcounter - 1);
       }
    }
 

Original file line number	Diff line number	Diff line change
`@@ -765,13 +765,11 @@ SCIP_RETCODE SCIPcertificateInitTransFile(`
`765`	`765`	`{`
`766`	`766`	`SCIP_CALL( SCIPcertificatePrintBoundCons(certificate, FALSE, NULL, vars[j], SCIPvarGetLbGlobalExact(vars[j]), FALSE) );`
`767`	`767`	`SCIPvarSetLbCertificateIndexGlobal(vars[j], certificate->indexcounter - 1);`
`768`		`- SCIPvarSetLbCertificateIndexLocal(vars[j], certificate->indexcounter - 1);`
`769`	`768`	`}`
`770`	`769`	`if( !SCIPrationalIsAbsInfinity(SCIPvarGetUbGlobalExact(vars[j])) )`
`771`	`770`	`{`
`772`	`771`	`SCIP_CALL( SCIPcertificatePrintBoundCons(certificate, FALSE, NULL, vars[j], SCIPvarGetUbGlobalExact(vars[j]), TRUE) );`
`773`	`772`	`SCIPvarSetUbCertificateIndexGlobal(vars[j], certificate->indexcounter - 1);`
`774`		`- SCIPvarSetUbCertificateIndexLocal(vars[j], certificate->indexcounter - 1);`
`775`	`773`	`}`
`776`	`774`	`}`
`777`	`775`