4891
66%

Ran 10 Sep 2026 01:57AM UTC

Jobs 1

Files 326

Run time 1min

Badge

Committed 09 Sep 2026 11:09AM UTC coverage: 65.419%. Remained the same

Build # 4891

Build Type

push

github

Committed by

Commit Message

Merge pull request #2141 from goblint/poly-set

Remove polymorphic `BatSet` usage in old solvers and `MCP`

Coverage Stats

8 of 13 new or added lines in 6 files covered. (61.54%)

22902 of 35008 relevant lines covered (65.42%)

396414.7 hits per line

Lines	Coverage	∆	File
2	65.22	0.0%	src/solver/topDown.ml
2	63.74	0.0%	src/solver/topDown_deprecated.ml
1	88.02	0.0%	src/analyses/mCP.ml

ID	Job ID	Ran	Files	Coverage
1	4891.1	10 Sep 2026 01:57AM UTC	326	65.42	GitHub Action Run