1
65%
master: 65%

Ran 30 Jun 2024 02:46AM UTC

Files 254

Run time 4s

Badge

Committed 28 Jun 2024 03:50PM UTC coverage: 62.901%. Remained the same

Build Type

push

github

Committed by

Commit Message

Merge pull request #1530 from goblint/issue-1562

Update results table in `relationalAnalysis` only if `exp.relation.prec-dump` is set

Run Details

18815 of 29912 relevant lines covered (62.9%)

458869.78 hits per line