3604

Committed 04 Sep 2025 09:33AM UTC coverage: 61.609%. First build

Build # 3604

Build Type

github

Committed by

Commit Message

Merge fd4bd85d1 into 23fc7de90

Run Details

1 of 106 new or added lines in 9 files covered. (0.94%)

20854 of 33849 relevant lines covered (61.61%)

408087.62 hits per line

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

61.07

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