2316
62%

Ran 26 Sep 2024 02:50AM UTC

Jobs 1

Files 259

Run time 1min

Badge

Committed 24 Sep 2024 01:18PM UTC coverage: 62.673%. Remained the same

Build # 2316

Build Type

push

github

Committed by

Commit Message

Merge pull request #1575 from goblint/constraints-split

Move `Spec` lifters out of `Constraints`

Run Details

377 of 630 new or added lines in 5 files covered. (59.84%)

18775 of 29957 relevant lines covered (62.67%)

452909.79 hits per line

Lines	Coverage	∆	File
3	61.73	0.0%	src/framework/control.ml
15	75.81		src/lifters/recursionTermLifter.ml
20	83.05		src/lifters/longjmpLifter.ml
103	0.0		src/framework/compareConstraints.ml
112	67.25		src/lifters/specLifters.ml

ID	Job ID	Ran	Files	Coverage
1	2316.1	26 Sep 2024 02:50AM UTC	259	62.67	GitHub Action Run