4990
67%

Ran 30 Sep 2026 02:09AM UTC

Jobs 1

Files 329

Run time 2min

Badge

Committed 29 Sep 2026 09:38AM UTC coverage: 65.651% (+0.009%) from 65.642%

Build # 4990

Build Type

push

github

Committed by

Commit Message

Merge pull request #2116 from goblint/fix/may-signed-overflow-divisor-zero-check

Fix inverted zero-divisor check in base MaySignedOverflow

Coverage Stats

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

93 existing lines in 4 files now uncovered.

23092 of 35174 relevant lines covered (65.65%)

395320.89 hits per line

Lines	Coverage	∆	File
51	76.19	0.51%	src/cdomain/value/cdomains/intDomain0.ml
24	82.37	-0.05%	src/cdomain/value/cdomains/int/defExcDomain.ml
13	89.4	0.3%	src/cdomain/value/cdomains/int/intDomTuple.ml
5	91.26	0.0%	src/domains/intDomainProperties.ml

ID	Job ID	Ran	Files	Coverage
1	4990.1	30 Sep 2026 02:09AM UTC	329	65.65	GitHub Action Run