3896

Committed 02 Dec 2025 01:39PM UTC coverage: 65.364% (+0.001%) from 65.363%

Build # 3896

Build Type

push

github

Committed by

Commit Message

Merge pull request #1880 from goblint/channel-with

Use standard `In_channel.with_open_*` and `Out_channel.with_open_*` where possible

Run Details

9 of 16 new or added lines in 8 files covered. (56.25%)

1 existing line in 1 file now uncovered.

22450 of 34346 relevant lines covered (65.36%)

405553.7 hits per line

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

65.51

/src/framework/control.ml