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