dance858 / PSLP / 30515906637

76%

Build Type

push

github

Committed by web-flow

Commit Message

Postsolve for infeasibility certificates (#48)

* Feat: primal infeasibility ray postsolve

* Feat: dual infeasibility ray postsolve

* Test: certificate-based validation for ray postsolve

* Style: apply clang-format

* CI: exclude tests from coverage report

* Refactor: drop unreachable split in parallel-column dual ray

* Test: cover dual bound-change and negated fix-col-inf ray postsolve

* Refactor: move ray postsolve into RayPostsolver.c

* Fix: keep transferred multiplier when both row sides change in ray postsolve

* Docs: sign conventions for the infeasibility ray postsolve

* Fix formatting

---------

Co-authored-by: dance858 <danielcederberg1@gmail.com>

Coverage Stats

1396 of 1553 branches covered (89.89%)

Branch coverage included in aggregate %.

330 of 360 new or added lines in 2 files covered. (91.67%)

44 existing lines in 3 files now uncovered.

4328 of 4815 relevant lines covered (89.89%)

5462.9 hits per line