591
42%

Ran 30 Sep 2026 09:20AM UTC

Jobs 1

Files 53

Run time 1min

Badge

Committed 30 Sep 2026 09:11AM UTC coverage: 41.803% (+0.02%) from 41.788%

Build # 591

Build Type

push

github

Committed by

Commit Message

Fix SMT-LIB semantics on float nans and zeros

Coverage Stats

5 of 7 new or added lines in 1 file covered. (71.43%)

2667 of 6380 relevant lines covered (41.8%)

36.8 hits per line

Lines	Coverage	∆	File
2	51.28	1.28%	src/smtml/num.ml

ID	Job ID	Ran	Files	Coverage
1	591.1	30 Sep 2026 09:20AM UTC	53	41.8	GitHub Action Run