4936
67%

Ran 19 Sep 2026 01:58AM UTC

Jobs 1

Files 327

Run time 1min

Badge

Committed 18 Sep 2026 04:28PM UTC coverage: 65.472% (-0.001%) from 65.473%

Build # 4936

Build Type

push

github

Committed by

Commit Message

Merge pull request #2128 from goblint/union-top-field-known-value

Fix `eval_offset` on unknown union field with known value

Coverage Stats

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

1 existing line in 1 file now uncovered.

22914 of 34998 relevant lines covered (65.47%)

396711.96 hits per line

Lines	Coverage	∆	File
1	72.99	-0.03%	src/cdomain/value/cdomains/valueDomain.ml

ID	Job ID	Ran	Files	Coverage
1	4936.1	19 Sep 2026 01:58AM UTC	327	65.47	GitHub Action Run