1
65%
master: 65%

Ran 22 Jul 2024 02:42AM UTC

Files 254

Run time 6s

Badge

Committed 17 Jul 2024 11:25AM UTC coverage: 62.772% (-0.001%) from 62.773%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1546 from goblint/issue_1542

Check overflows when generating witnesses

Run Details

18772 of 29905 relevant lines covered (62.77%)

453798.22 hits per line