5029
67%

Ran 10 Oct 2026 02:10AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 09 Oct 2026 02:54PM UTC coverage: 65.658%. Remained the same

Build # 5029

Build Type

push

github

Committed by

Commit Message

Merge pull request #2183 from goblint/sv-benchmarks-init-fixes

Backport test initialization fixes from sv-benchmarks

Coverage Stats

23096 of 35176 relevant lines covered (65.66%)

395412.9 hits per line

Lines	Coverage	∆	File
63	82.5	0.03%	src/analyses/base.ml
30	76.08	1.32%	src/analyses/memOutOfBounds.ml
30	64.6	0.0%	src/domains/queries.ml
2	57.58	-6.06%	src/cdomain/value/domains/valueDomainQueries.ml

ID	Job ID	Ran	Files	Coverage
1	5029.1	10 Oct 2026 02:10AM UTC	329	65.66	GitHub Action Run