5218
67%

Ran 29 Oct 2026 01:51AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 28 Oct 2026 02:19PM UTC coverage: 66.633% (+0.01%) from 66.622%

Build # 5218

Build Type

push

github

Committed by

Commit Message

Merge pull request #2223 from goblint/var_eq-invariant2

Specialize var_eq witness invariants for clusters with constants

Coverage Stats

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

302 existing lines in 5 files now uncovered.

23554 of 35349 relevant lines covered (66.63%)

394532.01 hits per line

Lines	Coverage	∆	File
81	56.23	-0.33%	src/affineEqualityDenseDomain.ml
67	68.05	0.38%	src/apronDomain.ml
65	65.95	-0.08%	src/linearTwoVarEqualityDomain.ml
55	68.93	-0.45%	src/affineEqualityDomain.ml
34	77.74	-0.19%	src/sharedFunctions.ml

ID	Job ID	Ran	Files	Coverage
1	5218.1	29 Oct 2026 01:51AM UTC	329	66.63	GitHub Action Run