97% (43 / 44) src/bin/cli.ml
47% (41 / 86) src/bin/cmd_run.ml
0% (0 / 9) src/bin/cmd_to_smt2.ml
58% (7 / 12) src/bin/main.ml
0% (0 / 24) src/smtml/ast.ml
0% (0 / 11) src/smtml/binder.ml
37% (12 / 32) src/smtml/cache.ml
100% (0 / 0) src/smtml/cache_intf.ml
100% (2 / 2) src/smtml/compile.ml
52% (535 / 1024) src/smtml/eval.ml
35% (250 / 696) src/smtml/expr.ml
68% (44 / 64) src/smtml/interpret.ml
100% (0 / 0) src/smtml/interpret_intf.ml
75% (42 / 56) src/smtml/lexer.ml
100% (2 / 2) src/smtml/log.ml
10% (6 / 57) src/smtml/logic.ml
47% (257 / 541) src/smtml/mappings.ml
100% (0 / 0) src/smtml/mappings_intf.ml
61% (66 / 108) src/smtml/model.ml
39% (31 / 78) src/smtml/num.ml
78% (22 / 28) src/smtml/optimizer.ml
100% (0 / 0) src/smtml/optimizer_intf.ml
80% (38 / 47) src/smtml/params.ml
56% (17 / 30) src/smtml/parse.ml
72% (105 / 145) src/smtml/parser.ml
73% (75 / 102) src/smtml/rewrite.ml
50% (119 / 238) src/smtml/smtlib.ml
44% (49 / 110) src/smtml/solver.ml
100% (0 / 0) src/smtml/solver_intf.ml
11% (1 / 9) src/smtml/solver_mode.ml
20% (5 / 24) src/smtml/solver_type.ml
52% (11 / 21) src/smtml/statistics.ml
73% (38 / 52) src/smtml/symbol.ml
20% (75 / 365) src/smtml/ty.ml
100% (5 / 5) src/smtml/utils.ml
31% (39 / 123) src/smtml/value.ml
52% (155 / 294) src/smtml/z3_mappings.ml