3511

Committed 30 Jul 2025 07:00PM UTC coverage: 61.586%. First build

Build # 3511

Build Type

github

Committed by

Commit Message

Merge 1e89a9ba6 into 44ba9882c

Run Details

1 of 25 new or added lines in 5 files covered. (4.0%)

20903 of 33941 relevant lines covered (61.59%)

406997.05 hits per line

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

0.0

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