3258

Committed 26 May 2025 12:23PM UTC coverage: 61.475%. First build

Build # 3258

Build Type

github

Committed by

Commit Message

Merge 95fc18c4d into 9f07df1cd

Run Details

3 of 16 new or added lines in 2 files covered. (18.75%)

20660 of 33607 relevant lines covered (61.48%)

411007.79 hits per line

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

0.0

/src/cdomains/affineEquality/arrayImplementation/arrayMatrix.ml