534
48%

Ran 30 Apr 2026 06:15PM UTC

Jobs 1

Files 51

Run time 1min

Badge

Committed 30 Apr 2026 06:08PM UTC coverage: 48.277% (-0.02%) from 48.296%

Build # 534

Build Type

push

github

Committed by

Commit Message

Add SMTZilla examples where different solvers are used

Coverage Stats

2423 of 5019 relevant lines covered (48.28%)

41.12 hits per line

Lines	Coverage	∆	File
1	46.78	-0.19%	src/smtml/expr.ml

ID	Job ID	Ran	Files	Coverage
1	534.1	30 Apr 2026 06:15PM UTC	51	48.28	GitHub Action Run