0% (0 / 11) src/smtml/binder.ml
92% (163 / 176) src/smtml/bitvector.ml
84% (838 / 993) src/smtml/eval.ml
36% (234 / 639) 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
32% (118 / 365) src/smtml/ty.ml
32% (44 / 134) src/smtml/value.ml