100% (0 / 0) src/bin/Smtml_sites.ml
94% (69 / 73) src/bin/cli.ml
0% (0 / 23) src/bin/cmd_ls.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
89% (178 / 198) src/smtml/bitvector.ml
38% (13 / 34) src/smtml/cache.ml
100% (0 / 0) src/smtml/cache_intf.ml
100% (3 / 3) src/smtml/compile.ml
19% (38 / 200) src/smtml/dolmenexpr_to_expr.ml
79% (877 / 1107) src/smtml/eval.ml
53% (502 / 933) src/smtml/expr.ml
100% (0 / 0) src/smtml/expr_intf.ml
15% (2 / 13) src/smtml/expr_raw.ml
1% (3 / 157) src/smtml/feature.ml
0% (0 / 93) src/smtml/feature_extraction.ml
67% (68 / 101) src/smtml/interpret.ml
100% (0 / 0) src/smtml/interpret_intf.ml
74% (44 / 59) src/smtml/lexer.ml
100% (2 / 2) src/smtml/log.ml
13% (8 / 58) src/smtml/logic.ml
38% (33 / 85) src/smtml/lru.ml
48% (390 / 804) src/smtml/mappings.ml
100% (0 / 0) src/smtml/mappings_intf.ml
56% (68 / 120) src/smtml/model.ml
66% (43 / 65) 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
68% (157 / 230) src/smtml/parser.ml
100% (612 / 612) src/smtml/regression_model_default.ml
61% (124 / 202) src/smtml/rewrite.ml
47% (148 / 309) src/smtml/smtlib.ml
8% (11 / 134) src/smtml/smtzilla.ml
47% (55 / 116) src/smtml/solver.ml
68% (11 / 16) src/smtml/solver_dispatcher.ml
100% (0 / 0) src/smtml/solver_intf.ml
12% (1 / 8) src/smtml/solver_mode.ml
31% (5 / 16) src/smtml/solver_type.ml
69% (16 / 23) src/smtml/statistics.ml
79% (57 / 72) src/smtml/symbol.ml
30% (201 / 666) src/smtml/ty.ml
5% (109 / 1867) src/smtml/typed.ml
18% (11 / 60) src/smtml/utils.ml
54% (195 / 361) src/smtml/value.ml
60% (235 / 390) src/smtml/z3_mappings.ml