1
65%
master: 65%

Ran 07 Dec 2025 03:25AM UTC

Files 312

Run time 7s

Badge

Committed 04 Dec 2025 01:41PM UTC coverage: 65.424% (+0.06%) from 65.364%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1886 from goblint/arg-uncil-ambiguous

Fix ambiguous ARG uncilling crash by remembering and following CFG paths

Run Details

22464 of 34336 relevant lines covered (65.42%)

405731.76 hits per line