72% (50 / 69) bin/main.ml
100% (4 / 4) lib/cache.ml
100% (0 / 0) lib/cache_intf.ml
57% (509 / 880) lib/eval.ml
33% (168 / 502) lib/expr.ml
80% (33 / 41) lib/interpret.ml
100% (0 / 0) lib/interpret_intf.ml
74% (41 / 55) lib/lexer.ml
0% (0 / 1) lib/log.ml
100% (0 / 0) lib/mappings_intf.ml
52% (13 / 25) lib/model.ml
29% (16 / 54) lib/num.ml
82% (24 / 29) lib/optimizer.ml
100% (0 / 0) lib/optimizer_intf.ml
100% (17 / 17) lib/params.ml
50% (8 / 16) lib/parse.ml
46% (185 / 399) lib/parser.ml
68% (32 / 47) lib/solver.ml
34% (8 / 23) lib/solver_dispatcher.ml
100% (0 / 0) lib/solver_intf.ml
71% (10 / 14) lib/symbol.ml
9% (13 / 138) lib/ty.ml
100% (5 / 5) lib/utils.ml
33% (18 / 53) lib/value.ml
55% (288 / 518) lib/z3_mappings.ml