1
66%
master: 66%

Ran 27 Apr 2025 03:10AM UTC

Files 290

Run time 5s

Badge

Committed 22 Apr 2025 05:41PM UTC coverage: 61.699%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1724 from goblint/tests-fun-ptr-void

Explicitly specify no-argument function pointers in tests

Run Details

20843 of 33782 relevant lines covered (61.7%)

408806.43 hits per line