3231

Committed 19 May 2025 02:36PM UTC coverage: 61.484% (-0.004%) from 61.488%

Build # 3231

Build Type

push

github

Committed by

Commit Message

Merge pull request #1746 from arkocal/demand_constr_2

Introduce demand in constraint system

Run Details

45 of 51 new or added lines in 16 files covered. (88.24%)

3 existing lines in 1 file now uncovered.

20653 of 33591 relevant lines covered (61.48%)

411193.91 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

67.61

/src/solver/postSolver.ml