1
66%
master: 66%

Ran 01 May 2024 02:33AM UTC

Files 252

Run time 5s

Badge

Committed 30 Apr 2024 09:38AM UTC coverage: 62.78%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1428 from goblint/todo-passing

Investigate apron, apron2, termination and OSX "Excellent: ignored check"-s

Run Details

18647 of 29702 relevant lines covered (62.78%)

459904.08 hits per line