3638
65%

Ran 23 Sep 2025 02:56AM UTC

Jobs 1

Files 297

Run time 1min

Badge

Committed 22 Sep 2025 08:05AM UTC coverage: 61.574% (+0.01%) from 61.56%

Build # 3638

Build Type

push

github

Committed by

Commit Message

Merge pull request #1815 from goblint/suppress_ovwarn

Remove some unnecessary `suppress_ovwarn` arguments

Run Details

39 of 47 new or added lines in 9 files covered. (82.98%)

21056 of 34196 relevant lines covered (61.57%)

405402.83 hits per line

Lines	Coverage	∆	File
1	89.57	0.15%	src/cdomain/value/cdomains/int/bitfieldDomain.ml
3	96.67	-3.33%	src/domains/intDomainProperties.ml
4	89.58	-0.26%	src/cdomain/value/cdomains/int/intDomTuple.ml

ID	Job ID	Ran	Files	Coverage
1	3638.1	23 Sep 2025 02:56AM UTC	297	61.57	GitHub Action Run