100% (0 / 0) src/ast/binary.ml
95% (64 / 67) src/ast/binary_types.ml
56% (32 / 57) src/ast/text.ml
44% (128 / 285) src/ast/types.ml
78% (178 / 226) src/bin/owi.ml
64% (73 / 113) src/binary_to_text/binary_to_text.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% (156 / 171) src/cmd/cmd_c.ml
43% (126 / 290) src/cmd/cmd_conc.ml
81% (22 / 27) src/cmd/cmd_fmt.ml
71% (10 / 14) src/cmd/cmd_opt.ml
92% (13 / 14) src/cmd/cmd_run.ml
77% (7 / 9) src/cmd/cmd_script.ml
87% (144 / 164) src/cmd/cmd_sym.ml
87% (7 / 8) src/cmd/cmd_validate.ml
80% (8 / 10) src/cmd/cmd_wasm2wat.ml
100% (21 / 21) src/cmd/testcase.ml
6% (6 / 98) src/concolic/concolic.ml
45% (38 / 84) src/concolic/concolic_choice.ml
60% (95 / 156) src/concolic/concolic_value.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
77% (7 / 9) src/data_structures/env_id.ml
100% (7 / 7) src/data_structures/func_id.ml
100% (0 / 0) src/data_structures/imported.ml
92% (13 / 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
85% (232 / 272) src/link/link.ml
91% (31 / 34) src/link/link_env.ml
86% (426 / 493) src/optimize/optimize.ml
61% (619 / 1012) src/parser/binary_parser.ml
82% (28 / 34) src/parser/parse.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% (156 / 193) 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
97% (89 / 91) src/text_to_binary/assigned.ml
100% (96 / 96) src/text_to_binary/grouped.ml
91% (440 / 483) src/text_to_binary/rewrite.ml
86% (449 / 521) 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
88% (52 / 59) src/compile.ml
100% (0 / 0) src/func_intf.ml
70% (40 / 57) src/result.ml
57% (4 / 7) src/tracing.ml
86% (13 / 15) src/v.ml
100% (0 / 0) src/value_intf.ml