File tree Expand file tree Collapse file tree 1 file changed +9
-6
lines changed
Expand file tree Collapse file tree 1 file changed +9
-6
lines changed Original file line number Diff line number Diff line change @@ -183,14 +183,17 @@ IIS Model::generateIIS() const
183183 auto * subscip { SCIPiisGetSubscip (iis) };
184184 assert (subscip); // GCOVR_EXCL_LINE
185185 auto nConss { SCIPgetNOrigConss (subscip) };
186- auto ** conss { SCIPgetOrigConss (subscip) };
187186
188187 IIS result;
189- result.consIds .reserve (nConss);
190- for (size_t i { 0 }; i < nConss; ++i) {
191- SCIP_CONS* cons = conss[i];
192- assert (cons); // GCOVR_EXCL_LINE
193- result.consIds .emplace_back (SCIPconsGetName (cons));
188+ if (nConss > 0 ) {
189+ auto ** conss { SCIPgetOrigConss (subscip) };
190+ assert (conss); // GCOVR_EXCL_LINE
191+ result.consIds .reserve (nConss);
192+ for (size_t i { 0 }; i < nConss; ++i) {
193+ SCIP_CONS* cons = conss[i];
194+ assert (cons); // GCOVR_EXCL_LINE
195+ result.consIds .emplace_back (SCIPconsGetName (cons));
196+ }
194197 }
195198 return result;
196199}
You can’t perform that action at this time.
0 commit comments