35% (12 / 34) src/smtml/ast.ml
0% (0 / 12) src/smtml/binder.ml
89% (164 / 183) src/smtml/bitvector.ml
82% (813 / 985) src/smtml/eval.ml
35% (272 / 756) 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
11% (52 / 466) src/smtml/ty.ml
26% (38 / 142) src/smtml/value.ml