5128
67%

Ran 22 Oct 2026 01:58AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 21 Oct 2026 03:38PM UTC coverage: 66.619% (+0.9%) from 65.695%

Build # 5128

Build Type

push

github

Committed by

Commit Message

Merge pull request #2214 from goblint/arg-widening-termination

Fix ARG predecessors widening

Coverage Stats

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

135 existing lines in 6 files now uncovered.

23519 of 35304 relevant lines covered (66.62%)

394806.66 hits per line

Lines	Coverage	∆	File
46	77.74	0.0%	src/witness/yamlWitness.ml
45	82.77	0.5%	src/cdomain/value/cdomains/int/defExcDomain.ml
11	56.56	56.56%	src/affineEqualityDenseDomain.ml
11	69.38	1.51%	src/affineEqualityDomain.ml
11	90.42	1.01%	src/cdomains/affineEquality/sparseImplementation/listMatrix.ml
11	68.06	-0.86%	src/cdomain/value/cdomains/int/enumsDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5128.1	22 Oct 2026 01:58AM UTC	329	66.62	GitHub Action Run