Coverage report
49.89%
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