4787
65%

Ran 18 Aug 2026 02:08AM UTC

Jobs 1

Files 325

Run time 1min

Badge

Committed 17 Aug 2026 09:17AM UTC coverage: 65.318% (+0.002%) from 65.316%

Build # 4787

Build Type

push

github

Committed by

Commit Message

Merge pull request #2105 from goblint/issue_2104

fix unwrapping of VarVarinfoMap into normal variable info to avoid mismatches in c2po

Coverage Stats

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

3 existing lines in 1 file now uncovered.

22869 of 35012 relevant lines covered (65.32%)

396238.78 hits per line

Lines	Coverage	∆	File
3	69.81	-2.74%	src/cdomains/duplicateVars.ml

ID	Job ID	Ran	Files	Coverage
1	4787.1	18 Aug 2026 02:08AM UTC	325	65.32	GitHub Action Run