3348

Committed 01 Jul 2025 07:27AM UTC coverage: 61.558% (+0.01%) from 61.547%

Build # 3348

Build Type

github

Committed by

Commit Message

Merge 95e1de36f into ce092b183

Run Details

100 of 126 new or added lines in 2 files covered. (79.37%)

62 existing lines in 2 files now uncovered.

20761 of 33726 relevant lines covered (61.56%)

409979.28 hits per line

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

61.49

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