4109
66%

Ran 22 Jan 2026 03:33AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Committed 21 Jan 2026 11:44AM UTC coverage: 65.547%. Remained the same

Build # 4109

Build Type

push

github

Committed by

Commit Message

Merge pull request #1914 from goblint/valuedomain-do-offset

Remove constant `do_eval_offset` and `do_update_offset` arguments

Run Details

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

1 existing line in 1 file now uncovered.

22695 of 34624 relevant lines covered (65.55%)

403953.46 hits per line

Lines	Coverage	∆	File
1	72.86	0.0%	src/cdomain/value/cdomains/valueDomain.ml

ID	Job ID	Ran	Files	Coverage
1	4109.1	22 Jan 2026 03:33AM UTC	316	65.55	GitHub Action Run