1879
62%

Ran 18 May 2024 02:27AM UTC

Jobs 1

Files 253

Run time 1min

Badge

Committed 15 May 2024 08:55AM UTC coverage: 62.713%. Remained the same

Build # 1879

Build Type

push

github

Committed by

Commit Message

Merge pull request #1458 from goblint/issue1457

`BaseAnalysis`: For non-definite AD, join over **all** components not just `cpa` in `set`

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

18652 of 29742 relevant lines covered (62.71%)

458772.28 hits per line

ID	Job ID	Ran	Files	Coverage
1	1879.1	18 May 2024 02:27AM UTC	253	62.71	GitHub Action Run