2334
62%

Ran 01 Oct 2024 03:00AM UTC

Jobs 1

Files 259

Run time 1min

Badge

Committed 30 Sep 2024 01:27PM UTC coverage: 62.563% (-0.09%) from 62.657%

Build # 2334

Build Type

push

github

Committed by

Commit Message

Merge pull request #1583 from goblint/loopUnroll-stubs

Do not unroll loops in stub functions

Run Details

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

168 existing lines in 5 files now uncovered.

18744 of 29960 relevant lines covered (62.56%)

452648.09 hits per line

Lines	Coverage	∆	File
1	86.49	-2.7%	src/autoTune0.ml
2	67.44	0.19%	src/lifters/specLifters.ml
3	44.94	-0.17%	src/witness/witness.ml
49	18.8	-12.45%	src/util/loopUnrolling.ml
113	6.36	0.0%	src/util/server.ml

ID	Job ID	Ran	Files	Coverage
1	2334.1	01 Oct 2024 03:00AM UTC	259	62.56	GitHub Action Run