3391

Committed 08 Jul 2025 02:26PM UTC coverage: 61.689% (+0.01%) from 61.676%

Build # 3391

Build Type

push

github

Committed by

Commit Message

Trim trailing whitespace (PR #1773)

Run Details

47 of 61 new or added lines in 2 files covered. (77.05%)

117 existing lines in 3 files now uncovered.

20857 of 33810 relevant lines covered (61.69%)

409175.51 hits per line

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

61.49

/src/cdomains/affineEquality/sparseImplementation/sparseVector.ml