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
1% (3 / 156) src/altergo_mappings.ml
0% (0 / 24) src/ast.ml
0% (0 / 11) src/binder.ml
100% (2 / 2) src/cache.ml
100% (0 / 0) src/cache_intf.ml
100% (2 / 2) src/compile.ml
59% (524 / 884) src/eval.ml
44% (264 / 592) 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
47% (241 / 506) src/mappings.ml
100% (0 / 0) src/mappings_intf.ml
57% (63 / 109) 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
70% (65 / 92) src/rewrite.ml
47% (118 / 246) src/smtlib.ml
44% (42 / 94) src/solver.ml
100% (0 / 0) src/solver_intf.ml
11% (1 / 9) src/solver_mode.ml
20% (5 / 24) src/solver_type.ml
44% (8 / 18) src/statistics.ml
73% (38 / 52) src/symbol.ml
19% (70 / 352) src/ty.ml
100% (5 / 5) src/utils.ml
36% (37 / 101) src/value.ml
51% (149 / 290) src/z3_mappings.ml