4973
66%

Ran 26 Sep 2026 01:58AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 25 Sep 2026 11:51AM UTC coverage: 65.641% (-0.001%) from 65.642%

Build # 4973

Build Type

push

github

Committed by

Commit Message

Merge pull request #2167 from goblint/base-invariant-meet-down

Use `id_meet_down` instead of `ID.meet` in `BaseInvariant`

Coverage Stats

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

12 existing lines in 2 files now uncovered.

23093 of 35181 relevant lines covered (65.64%)

395239.74 hits per line

Lines	Coverage	∆	File
11	66.67	-1.03%	src/lifters/wideningTokenLifter.ml
1	77.2	0.0%	src/analyses/baseInvariant.ml

ID	Job ID	Ran	Files	Coverage
1	4973.1	26 Sep 2026 01:58AM UTC	329	65.64	GitHub Action Run