chrjabs / rustsat / 18403692235

61%

Build Type

push

github

Committed by chrjabs

Commit Message

fix(solvers): deadlock in external solver

the output pipe was not drained fully when an unsatisfiable result was
encountered

Run Details

5 of 5 new or added lines in 1 file covered. (100.0%)

40 existing lines in 1 file now uncovered.

13288 of 21844 relevant lines covered (60.83%)

134553.37 hits per line