5024
67%

Ran 09 Oct 2026 02:14AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 08 Oct 2026 10:37AM UTC coverage: 65.658% (+0.005%) from 65.653%

Build # 5024

Build Type

push

github

Committed by

Commit Message

Merge pull request #2142 from goblint/sizedomain

Add `SizeDomain` for length in `ArrayDomain`

Coverage Stats

64 of 89 new or added lines in 4 files covered. (71.91%)

23103 of 35187 relevant lines covered (65.66%)

395256.71 hits per line

Lines	Coverage	∆	File
21	65.93	0.03%	src/cdomain/value/cdomains/arrayDomain.ml
2	82.47	-0.02%	src/analyses/base.ml
2	72.99	0.0%	src/cdomain/value/cdomains/valueDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5024.1	09 Oct 2026 02:14AM UTC	329	65.66	GitHub Action Run