44% (47 / 106) bin/main.ml
100% (56 / 56) bin/options.ml
0% (0 / 24) src/ast/ast.ml
100% (2 / 2) src/ast/compile.ml
43% (264 / 603) src/ast/expr.ml
40% (22 / 54) src/ast/num.ml
70% (65 / 92) src/ast/rewrite.ml
73% (38 / 52) src/ast/symbol.ml
16% (65 / 384) src/ast/ty.ml
36% (29 / 79) src/ast/value.ml
59% (524 / 884) src/interpret/eval.ml
68% (44 / 64) src/interpret/interpret.ml
100% (0 / 0) src/interpret/interpret_intf.ml
75% (42 / 56) src/parser/lexer.ml
56% (17 / 30) src/parser/parse.ml
72% (105 / 145) src/parser/parser.ml
47% (118 / 246) src/parser/smtlib.ml
59% (19 / 32) src/solvers/model.ml
78% (22 / 28) src/solvers/optimizer.ml
100% (0 / 0) src/solvers/optimizer_intf.ml
80% (38 / 47) src/solvers/params.ml
44% (42 / 94) src/solvers/solver.ml
40% (11 / 27) src/solvers/solver_dispatcher.ml
100% (0 / 0) src/solvers/solver_intf.ml
44% (8 / 18) src/solvers/statistics.ml
100% (2 / 2) src/utils/cache.ml
100% (0 / 0) src/utils/cache_intf.ml
100% (5 / 5) src/utils/utils.ml
1% (3 / 156) src/altergo_mappings.ml
100% (2 / 2) src/log.ml
47% (241 / 506) src/mappings.ml
100% (0 / 0) src/mappings_intf.ml
51% (149 / 290) src/z3_mappings.ml