15787041637

Committed 20 Jun 2025 08:14PM UTC coverage: 63.076% (-1.5%) from 64.591%

Build Type

github

Committed by

Commit Message

Merge 8c012fc8f into 37b47b09d

Run Details

717 of 900 new or added lines in 19 files covered. (79.67%)

95 existing lines in 7 files now uncovered.

7788 of 12347 relevant lines covered (63.08%)

134.28 hits per line

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

84.62

/src/symbolic/sets.cpp