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