35% (12 / 34) src/smtml/ast.ml
0% (0 / 12) src/smtml/binder.ml
89% (164 / 183) src/smtml/bitvector.ml
80% (812 / 1004) src/smtml/eval.ml
36% (292 / 797) src/smtml/expr.ml
0% (0 / 5) src/smtml/loc.ml
0% (0 / 59) src/smtml/logic.ml
49% (53 / 108) src/smtml/model.ml
40% (17 / 42) src/smtml/num.ml
47% (11 / 23) src/smtml/statistics.ml
52% (29 / 55) src/smtml/symbol.ml
10% (51 / 466) src/smtml/ty.ml
24% (38 / 157) src/smtml/value.ml