3390

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

Build # 3390

Build Type

github

Committed by

Commit Message

Merge a78f03fc3 into 90d870520

Run Details

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

62 existing lines in 2 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