Coverage report
57.91%
0%
(0 / 11)
src/smtml/
binder.ml
91%
(163 / 178)
src/smtml/
bitvector.ml
83%
(827 / 986)
src/smtml/
eval.ml
36%
(251 / 688)
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%
(121 / 395)
src/smtml/
ty.ml
32%
(44 / 135)
src/smtml/
value.ml