97% (41 / 42) bin/cli.ml
47% (41 / 86) bin/cmd_run.ml
0% (0 / 9) bin/cmd_to_smt2.ml
58% (7 / 12) bin/main.ml
0% (0 / 24) src/ast.ml
0% (0 / 11) src/binder.ml
37% (12 / 32) src/cache.ml
100% (0 / 0) src/cache_intf.ml
100% (2 / 2) src/compile.ml
59% (535 / 893) src/eval.ml
41% (272 / 661) src/expr.ml
68% (44 / 64) src/interpret.ml
100% (0 / 0) src/interpret_intf.ml
75% (42 / 56) src/lexer.ml
100% (2 / 2) src/log.ml
10% (6 / 57) src/logic.ml
48% (257 / 525) src/mappings.ml
100% (0 / 0) src/mappings_intf.ml
58% (63 / 108) src/model.ml
30% (24 / 78) src/num.ml
78% (22 / 28) src/optimizer.ml
100% (0 / 0) src/optimizer_intf.ml
80% (38 / 47) src/params.ml
56% (17 / 30) src/parse.ml
72% (105 / 145) src/parser.ml
73% (75 / 102) src/rewrite.ml
50% (119 / 238) src/smtlib.ml
45% (44 / 96) src/solver.ml
100% (0 / 0) src/solver_intf.ml
11% (1 / 9) src/solver_mode.ml
20% (5 / 24) src/solver_type.ml
52% (11 / 21) src/statistics.ml
73% (38 / 52) src/symbol.ml
20% (70 / 350) src/ty.ml
100% (5 / 5) src/utils.ml
30% (37 / 123) src/value.ml
52% (155 / 294) src/z3_mappings.ml