1865
62%

Ran 16 May 2024 07:18AM UTC

Jobs 1

Files 253

Run time 1min

Badge

Committed 15 May 2024 08:55AM UTC coverage: 62.713% (-0.04%) from 62.749%

Build # 1865

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%)

116 existing lines in 3 files now uncovered.

18652 of 29742 relevant lines covered (62.71%)

458772.28 hits per line

Lines	Coverage	∆	File
4	0.0	-28.57%	src/util/std/gobArray.ml
8	83.76	0.0%	src/sharedFunctions.ml
104	67.12	-4.89%	src/linearTwoVarEqualityDomain.ml

ID	Job ID	Ran	Files	Coverage
1	1865.1	16 May 2024 07:18AM UTC	253	62.71	GitHub Action Run