3341

Committed 25 Jun 2025 02:13PM UTC coverage: 61.52%. Remained the same

Build # 3341

Build Type

push

github

Committed by

Commit Message

Merge pull request #1764 from Robotechnic/division_by_zero_messages

Division by zero messages

Run Details

15 of 16 new or added lines in 3 files covered. (93.75%)

297 existing lines in 1 file now uncovered.

20696 of 33641 relevant lines covered (61.52%)

410660.9 hits per line

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

79.87

/src/analyses/base.ml