1
65%
master: 65%

Ran 03 Dec 2025 03:14AM UTC

Files 312

Run time 12s

Badge

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

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

22450 of 34346 relevant lines covered (65.36%)

405553.7 hits per line