Coverage report
58.10%
0%
(0 / 11)
src/smtml/
binder.ml
92%
(163 / 176)
src/smtml/
bitvector.ml
84%
(838 / 993)
src/smtml/
eval.ml
35%
(238 / 672)
src/smtml/
expr.ml
49%
(53 / 108)
src/smtml/
model.ml
50%
(20 / 40)
src/smtml/
num.ml
52%
(11 / 21)
src/smtml/
statistics.ml
46%
(24 / 52)
src/smtml/
symbol.ml
30%
(118 / 389)
src/smtml/
ty.ml
32%
(44 / 135)
src/smtml/
value.ml