100% (0 / 0) src/bin/Smtml_sites.ml
94% (64 / 68) src/bin/cli.ml
43% (40 / 92) src/bin/cmd_run.ml
28% (66 / 235) src/bin/cmd_smtzilla.ml
0% (0 / 18) src/bin/cmd_to_smt2.ml
30% (4 / 13) src/bin/cmd_version.ml
37% (3 / 8) src/bin/main.ml
0% (0 / 2) src/bin/settings.ml
35% (12 / 34) src/smtml/ast.ml
20% (3 / 15) src/smtml/binder.ml
87% (168 / 191) src/smtml/bitvector.ml
37% (12 / 32) src/smtml/cache.ml
100% (0 / 0) src/smtml/cache_intf.ml
100% (3 / 3) src/smtml/compile.ml
20% (38 / 189) src/smtml/dolmenexpr_to_expr.ml
79% (847 / 1060) src/smtml/eval.ml
56% (436 / 778) src/smtml/expr.ml
100% (0 / 0) src/smtml/expr_intf.ml
0% (0 / 8) src/smtml/expr_raw.ml
1% (3 / 153) src/smtml/feature.ml
0% (0 / 113) src/smtml/feature_extraction.ml
67% (68 / 101) src/smtml/interpret.ml
100% (0 / 0) src/smtml/interpret_intf.ml
71% (42 / 59) src/smtml/lexer.ml
100% (2 / 2) src/smtml/log.ml
10% (6 / 58) src/smtml/logic.ml
46% (326 / 700) src/smtml/mappings.ml
100% (0 / 0) src/smtml/mappings_intf.ml
56% (68 / 120) src/smtml/model.ml
58% (28 / 48) src/smtml/num.ml
100% (0 / 0) src/smtml/op_intf.ml
78% (22 / 28) src/smtml/optimizer.ml
100% (0 / 0) src/smtml/optimizer_intf.ml
77% (41 / 53) src/smtml/params.ml
63% (21 / 33) src/smtml/parse.ml
65% (141 / 214) src/smtml/parser.ml
100% (612 / 612) src/smtml/regression_model_default.ml
62% (98 / 157) src/smtml/rewrite.ml
46% (139 / 296) src/smtml/smtlib.ml
2% (2 / 94) src/smtml/smtzilla.ml
46% (54 / 115) src/smtml/solver.ml
61% (11 / 18) src/smtml/solver_dispatcher.ml
100% (0 / 0) src/smtml/solver_intf.ml
12% (1 / 8) src/smtml/solver_mode.ml
23% (7 / 30) src/smtml/solver_type.ml
47% (11 / 23) src/smtml/statistics.ml
82% (57 / 69) src/smtml/symbol.ml
27% (159 / 585) src/smtml/ty.ml
9% (60 / 639) src/smtml/typed.ml
21% (11 / 51) src/smtml/utils.ml
34% (75 / 216) src/smtml/value.ml
59% (221 / 371) src/smtml/z3_mappings.ml