1
65%
master: 65%

Ran 15 Apr 2026 02:31AM UTC

Files 317

Run time 6s

Badge

Committed 14 Apr 2026 07:19AM UTC coverage: 65.497% (+0.002%) from 65.495%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1981 from goblint/no-threadflag

Improve `exp.single-threaded` for analysis without threadflag and escape

Coverage Stats

22681 of 34629 relevant lines covered (65.5%)

399985.53 hits per line