Coverage report
78.54%
97%
(89 / 91)
src/ast_simpl/
assigned.ml
100%
(96 / 96)
src/ast_simpl/
grouped.ml
91%
(440 / 483)
src/ast_simpl/
rewrite.ml
69%
(9 / 13)
src/ast_types/
simplified.ml
95%
(64 / 67)
src/ast_types/
simplified_types.ml
55%
(33 / 59)
src/ast_types/
text.ml
43%
(124 / 285)
src/ast_types/
types.ml
76%
(160 / 209)
src/bin/
owi.ml
23%
(231 / 985)
src/binary_parser/
binary_deserializer.ml
25%
(3 / 12)
src/c_processing/
c_instrumentor.ml
83%
(15 / 18)
src/c_processing/
c_share.ml
100%
(68 / 68)
src/check/
check.ml
91%
(174 / 190)
src/cmd/
cmd_c.ml
81%
(22 / 27)
src/cmd/
cmd_fmt.ml
80%
(8 / 10)
src/cmd/
cmd_opt.ml
57%
(12 / 21)
src/cmd/
cmd_run.ml
77%
(7 / 9)
src/cmd/
cmd_script.ml
93%
(147 / 157)
src/cmd/
cmd_sym.ml
87%
(7 / 8)
src/cmd/
cmd_validate.ml
77%
(7 / 9)
src/cmd/
cmd_wasm2wat.ml
100%
(11 / 11)
src/concrete/
concrete.ml
100%
(10 / 10)
src/concrete/
concrete_choice.ml
100%
(4 / 4)
src/concrete/
concrete_global.ml
94%
(73 / 77)
src/concrete/
concrete_memory.ml
100%
(24 / 24)
src/concrete/
concrete_table.ml
63%
(45 / 71)
src/concrete/
concrete_value.ml
100%
(13 / 13)
src/concrete/
thread.ml
100%
(7 / 7)
src/data_structures/
env_id.ml
100%
(7 / 7)
src/data_structures/
func_id.ml
100%
(0 / 0)
src/data_structures/
imported.ml
100%
(14 / 14)
src/data_structures/
indexed.ml
100%
(6 / 6)
src/data_structures/
named.ml
100%
(0 / 0)
src/data_structures/
runtime.ml
82%
(72 / 87)
src/data_structures/
stack.ml
100%
(0 / 0)
src/data_structures/
string_map.ml
100%
(0 / 0)
src/interpret/
choice_intf.ml
91%
(1263 / 1379)
src/interpret/
interpret.ml
100%
(0 / 0)
src/interpret/
interpret_intf.ml
69%
(9 / 13)
src/interpret/
trap.ml
84%
(231 / 272)
src/link/
link.ml
91%
(31 / 34)
src/link/
link_env.ml
86%
(426 / 493)
src/optimize/
optimize.ml
99%
(266 / 267)
src/primitives/
convert.ml
91%
(270 / 294)
src/primitives/
float32.ml
91%
(272 / 298)
src/primitives/
float64.ml
98%
(119 / 121)
src/primitives/
int32.ml
96%
(116 / 120)
src/primitives/
int64.ml
80%
(146 / 182)
src/script/
script.ml
80%
(8 / 10)
src/script/
spectest.ml
100%
(2 / 2)
src/symbolic/
solver.ml
78%
(61 / 78)
src/symbolic/
symbolic.ml
82%
(240 / 292)
src/symbolic/
symbolic_choice.ml
97%
(38 / 39)
src/symbolic/
symbolic_global.ml
84%
(174 / 205)
src/symbolic/
symbolic_memory.ml
71%
(32 / 45)
src/symbolic/
symbolic_table.ml
85%
(206 / 242)
src/symbolic/
symbolic_value.ml
91%
(21 / 23)
src/text_parser/
parse.ml
85%
(445 / 520)
src/typecheck/
typecheck.ml
66%
(2 / 3)
src/utils/
format.ml
81%
(9 / 11)
src/utils/
log.ml
81%
(40 / 49)
src/utils/
syntax.ml
16%
(6 / 36)
src/utils/
wutf8.ml
100%
(0 / 0)
src/
C_share_site.ml
65%
(30 / 46)
src/
compile.ml
100%
(0 / 0)
src/
func_intf.ml
66%
(37 / 56)
src/
result.ml
57%
(4 / 7)
src/
tracing.ml
86%
(13 / 15)
src/
v.ml
100%
(0 / 0)
src/
value_intf.ml