4466
65%

Ran 09 May 2026 02:31AM UTC

Jobs 1

Files 317

Run time 1min

Badge

Committed 08 May 2026 05:54PM UTC coverage: 65.414% (+0.004%) from 65.41%

Build # 4466

Build Type

push

github

Committed by

Commit Message

Merge pull request #2020 from goblint/intdomain-no_ov

Remove unnecessary `no_ov` arguments from `IntDomTuple`

Coverage Stats

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

343 existing lines in 2 files now uncovered.

22696 of 34696 relevant lines covered (65.41%)

399435.63 hits per line

Lines	Coverage	∆	File
231	81.77	0.04%	src/analyses/base.ml
112	66.13	0.06%	src/cdomain/value/cdomains/arrayDomain.ml

ID	Job ID	Ran	Files	Coverage
1	4466.1	09 May 2026 02:31AM UTC	317	65.41	GitHub Action Run