Ambros Gleixner

Assertion `new_infeasibility < 0' failed in HEkkPrimal.cpp:2813: void HEkkPrimal::shiftBound()

6

Running SCIP with HiGHS in debug mode on https://miplib.zib.de/instance_details_traininstance2.html runs into the above assert. The attached log [traininstance2.txt](https://github.com/ERGO-Code/HiGHS/files/10700058/traininstance2.txt) shows that SCIP initially calls the dual simplex, HiGHS reaches the objective...

Fix dualtol in HEkkDual::computeExactDualObjectiveValue()

4

In SCIP we sometimes use tighter dual feasibility tolerances; with 1e-10, I discovered this inconsistent use of dual tolerance in computeExactDualObjectiveValue() and the subsequent correctDualInfeasibilities(). Without this fix, the assert...

HPresolveAnalysis.cpp:103: void HPresolveAnalysis::startPresolveRuleLog(const HighsInt): Assertion `num_deleted_rows0_ == *numDeletedRows' failed

22

Building - SCIP from branch https://github.com/scipopt/scip/tree/lpi-highs - with the latest branch of HiGHS (debug build) and running the unit test `ctest -R glbconss` in SCIP yields the above assert. When...