3222
65%

Ran 16 May 2025 03:14AM UTC

Jobs 1

Files 290

Run time 1min

Badge

Committed 15 May 2025 02:41PM UTC coverage: 61.488% (+0.02%) from 61.467%

Build # 3222

Build Type

push

github

Committed by

Commit Message

Remove unused (documentation) from goblint.solver

goblint.solver is wrapped and documentation is in goblint_solver.ml

Run Details

20649 of 33582 relevant lines covered (61.49%)

411225.21 hits per line

Lines	Coverage	∆	File
1	72.22	0.0%	src/cdomain/value/cdomains/mutexAttrDomain.ml
9	6.25	0.37%	src/cdomains/pthreadDomain.ml
13	79.73	0.07%	src/analyses/base.ml
46	65.4	1.22%	src/lifters/specLifters.ml
51	76.95	0.04%	src/analyses/baseInvariant.ml
91	61.83	-0.1%	src/framework/control.ml

ID	Job ID	Ran	Files	Coverage
1	3222.1	16 May 2025 03:14AM UTC	290	61.49	GitHub Action Run