5019
67%

Ran 07 Oct 2026 02:12AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 06 Oct 2026 07:10AM UTC coverage: 65.652% (-0.006%) from 65.658%

Build # 5019

Build Type

push

github

Committed by

Commit Message

Merge pull request #2138 from goblint/indexdomain-ikind

Remove ikind argument from `IndexDomain` functions

Coverage Stats

26 of 35 new or added lines in 6 files covered. (74.29%)

23099 of 35184 relevant lines covered (65.65%)

395213.11 hits per line

Lines	Coverage	∆	File
5	75.38	-0.68%	src/cdomain/value/cdomains/intDomain0.ml
1	65.9	0.0%	src/cdomain/value/cdomains/arrayDomain.ml
1	81.69	0.0%	src/cdomain/value/cdomains/offset.ml
1	72.99	0.0%	src/cdomain/value/cdomains/valueDomain.ml
1	85.96	0.0%	src/cdomains/lockDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5019.1	07 Oct 2026 02:12AM UTC	329	65.65	GitHub Action Run