100% (0 / 0) src/bin/Smtml_sites.ml
94% (64 / 68) src/bin/cli.ml
43% (40 / 93) src/bin/cmd_run.ml
27% (66 / 236) src/bin/cmd_smtzilla.ml
0% (0 / 14) 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% (2 / 2) src/smtml/compile.ml
20% (38 / 187) src/smtml/dolmenexpr_to_expr.ml
81% (837 / 1030) src/smtml/eval.ml
55% (430 / 778) src/smtml/expr.ml
100% (0 / 0) src/smtml/expr_intf.ml
0% (0 / 8) src/smtml/expr_raw.ml
1% (3 / 151) 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 / 59) src/smtml/logic.ml
45% (318 / 698) src/smtml/mappings.ml
100% (0 / 0) src/smtml/mappings_intf.ml
61% (66 / 108) 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
53% (21 / 39) 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
11% (1 / 9) src/smtml/solver_mode.ml
22% (7 / 31) src/smtml/solver_type.ml
47% (11 / 23) src/smtml/statistics.ml
82% (57 / 69) src/smtml/symbol.ml
27% (155 / 572) src/smtml/ty.ml
13% (51 / 388) src/smtml/typed.ml
21% (11 / 51) src/smtml/utils.ml
34% (75 / 216) src/smtml/value.ml
58% (217 / 369) src/smtml/z3_mappings.ml