100% (0 / 0) src/ast/binary.ml
52% (296 / 565) src/ast/binary_encoder.ml
74% (105 / 141) src/ast/binary_to_text.ml
77% (47 / 61) src/ast/binary_types.ml
80% (63 / 78) src/ast/compile.ml
100% (0 / 0) src/ast/kind.ml
65% (36 / 55) src/ast/text.ml
47% (231 / 488) src/ast/types.ml
81% (210 / 259) src/bin/owi.ml
92% (120 / 130) src/cmd/cmd_c.ml
89% (220 / 246) src/cmd/cmd_conc.ml
94% (18 / 19) src/cmd/cmd_fmt.ml
100% (8 / 8) src/cmd/cmd_opt.ml
87% (7 / 8) src/cmd/cmd_run.ml
77% (7 / 9) src/cmd/cmd_script.ml
88% (79 / 89) src/cmd/cmd_sym.ml
77% (42 / 54) src/cmd/cmd_utils.ml
83% (5 / 6) src/cmd/cmd_validate.ml
100% (13 / 13) src/cmd/cmd_wasm2wat.ml
81% (9 / 11) src/cmd/cmd_wat2wasm.ml
76% (80 / 105) src/concolic/concolic.ml
86% (80 / 92) src/concolic/concolic_choice.ml
66% (109 / 163) src/concolic/concolic_value.ml
40% (30 / 75) src/concolic/concolic_wasm_ffi.ml
100% (11 / 11) src/concrete/concrete.ml
100% (10 / 10) src/concrete/concrete_choice.ml
83% (5 / 6) src/concrete/concrete_global.ml
95% (76 / 80) src/concrete/concrete_memory.ml
100% (27 / 27) src/concrete/concrete_table.ml
66% (48 / 72) src/concrete/concrete_value.ml
82% (14 / 17) src/concrete/v.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
80% (8 / 10) src/data_structures/indexed.ml
82% (14 / 17) src/data_structures/named.ml
100% (0 / 0) src/data_structures/runtime.ml
96% (72 / 75) src/data_structures/stack.ml
100% (0 / 0) src/data_structures/string_map.ml
87% (28 / 32) src/data_structures/synchronizer.ml
100% (16 / 16) src/data_structures/wq.ml
91% (1237 / 1345) src/interpret/interpret.ml
69% (9 / 13) src/interpret/trap.ml
100% (0 / 0) src/intf/choice_intf.ml
100% (0 / 0) src/intf/func_intf.ml
100% (0 / 0) src/intf/interpret_intf.ml
100% (0 / 0) src/intf/symbolic_choice_intf.ml
100% (0 / 0) src/intf/symbolic_memory_intf.ml
100% (0 / 0) src/intf/thread_intf.ml
100% (0 / 0) src/intf/value_intf.ml
100% (0 / 0) src/intf/wasm_ffi_intf.ml
91% (256 / 279) src/link/link.ml
94% (54 / 57) src/link/link_env.ml
86% (424 / 491) src/optimize/optimize.ml
71% (746 / 1042) src/parser/binary_parser.ml
10% (36 / 346) src/parser/parse.ml
99% (345 / 346) src/primitives/convert.ml
96% (347 / 358) src/primitives/float32.ml
96% (350 / 362) src/primitives/float64.ml
98% (129 / 131) src/primitives/int32.ml
96% (126 / 130) src/primitives/int64.ml
80% (177 / 221) src/script/script.ml
83% (10 / 12) src/script/spectest.ml
100% (7 / 7) src/symbolic/solver.ml
83% (52 / 62) src/symbolic/symbolic.ml
95% (222 / 232) src/symbolic/symbolic_choice.ml
0% (0 / 36) src/symbolic/symbolic_choice_minimalist.ml
100% (1 / 1) src/symbolic/symbolic_choice_with_memory.ml
100% (0 / 0) src/symbolic/symbolic_choice_without_memory.ml
94% (37 / 39) src/symbolic/symbolic_global.ml
66% (136 / 204) src/symbolic/symbolic_memory.ml
92% (116 / 126) src/symbolic/symbolic_memory_concretizing.ml
87% (113 / 129) src/symbolic/symbolic_memory_make.ml
71% (32 / 45) src/symbolic/symbolic_table.ml
84% (207 / 244) src/symbolic/symbolic_value.ml
100% (23 / 23) src/symbolic/symbolic_wasm_ffi.ml
100% (21 / 21) src/symbolic/thread.ml
100% (20 / 20) src/symbolic/thread_with_memory.ml
100% (2 / 2) src/symbolic/thread_without_memory.ml
100% (83 / 83) src/text_to_binary/assigned.ml
100% (99 / 99) src/text_to_binary/grouped.ml
88% (279 / 317) src/text_to_binary/rewrite.ml
83% (10 / 12) src/utils/log.ml
75% (44 / 58) src/utils/result.ml
100% (43 / 43) src/utils/syntax.ml
57% (4 / 7) src/utils/tracing.ml
16% (6 / 36) src/utils/wutf8.ml
88% (621 / 704) src/validate/binary_validate.ml
100% (68 / 68) src/validate/text_validate.ml
100% (0 / 0) src/C_share_site.ml