22517145774
65%
master: 65%

Ran 28 Feb 2026 08:38AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Committed 28 Feb 2026 08:27AM UTC coverage: 65.305% (+0.02%) from 65.281%

Build Type

github

Committed by

Commit Message

Fix #517: fallback when EF projection sees unsupported arith term

Run Details

4 of 7 new or added lines in 1 file covered. (57.14%)

81257 of 124427 relevant lines covered (65.3%)

1708947.13 hits per line

Lines	Coverage	∆	File
3	78.53	-0.09%	src/exists_forall/efsolver.c

ID	Job ID	Ran	Files	Coverage
1	22517145774.1	28 Feb 2026 08:38AM UTC	486	65.3	GitHub Action Run