1
66%
master: 66%

Ran 26 Oct 2025 03:07AM UTC

Files 301

Run time 6s

Badge

Committed 24 Oct 2025 08:51AM UTC coverage: 61.554% (-0.02%) from 61.574%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1828 from goblint/arg-stack-dedup

Deduplicate stack ARG `InlineReturn` edges based on `InlineEntry` lval and args

Run Details

21060 of 34214 relevant lines covered (61.55%)

403350.61 hits per line