3376

Committed 04 Jul 2025 10:43AM UTC coverage: 61.689% (+0.1%) from 61.547%

Build # 3376

Build Type

github

Committed by

Commit Message

Merge cb3010b27 into 90d870520

Run Details

97 of 120 new or added lines in 2 files covered. (80.83%)

267 existing lines in 10 files now uncovered.

20857 of 33810 relevant lines covered (61.69%)

409175.01 hits per line

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

61.49

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