4472
65%

Ran 11 May 2026 02:33AM UTC

Jobs 1

Files 317

Run time 1min

Badge

Committed 08 May 2026 05:54PM UTC coverage: 65.414%. Remained the same

Build # 4472

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

25 existing lines in 1 file now uncovered.

22696 of 34696 relevant lines covered (65.41%)

399435.63 hits per line

Lines	Coverage	∆	File
25	89.11	0.0%	src/cdomain/value/cdomains/int/intDomTuple.ml

ID	Job ID	Ran	Files	Coverage
1	4472.1	11 May 2026 02:33AM UTC	317	65.41	GitHub Action Run