93% (250 / 266) src/bin/owi.ml
87% (114 / 131) src/cmd/cmd_c.ml
73% (131 / 178) src/cmd/cmd_call_graph.ml
83% (69 / 83) src/cmd/cmd_cfg.ml
87% (85 / 97) src/cmd/cmd_cpp.ml
95% (19 / 20) src/cmd/cmd_fmt.ml
76% (10 / 13) src/cmd/cmd_instrument_label.ml
61% (112 / 182) src/cmd/cmd_iso.ml
54% (110 / 203) src/cmd/cmd_replay.ml
77% (7 / 9) src/cmd/cmd_run.ml
86% (40 / 46) src/cmd/cmd_rust.ml
100% (5 / 5) src/cmd/cmd_script.ml
100% (22 / 22) src/cmd/cmd_sym.ml
79% (34 / 43) src/cmd/cmd_tinygo.ml
77% (68 / 88) src/cmd/cmd_utils.ml
75% (3 / 4) src/cmd/cmd_validate.ml
21% (5 / 23) src/cmd/cmd_version.ml
100% (17 / 17) src/cmd/cmd_wasm2wat.ml
100% (7 / 7) src/cmd/cmd_wat2wasm.ml
79% (34 / 43) src/cmd/cmd_zig.ml
100% (103 / 103) src/compile/assigned.ml
57% (162 / 281) src/compile/binary_to_text.ml
85% (48 / 56) src/compile/compile.ml
99% (122 / 123) src/compile/grouped.ml
100% (2 / 2) src/compile/kind.ml
95% (441 / 464) src/compile/rewrite.ml
75% (6 / 8) src/concrete/concrete_boolean.ml
68% (11 / 16) src/concrete/concrete_choice.ml
100% (3 / 3) src/concrete/concrete_data.ml
100% (3 / 3) src/concrete/concrete_elem.ml
100% (0 / 0) src/concrete/concrete_env.ml
100% (0 / 0) src/concrete/concrete_extern_func.ml
97% (43 / 44) src/concrete/concrete_f32.ml
96% (28 / 29) src/concrete/concrete_f64.ml
100% (2 / 2) src/concrete/concrete_global.ml
98% (137 / 139) src/concrete/concrete_i32.ml
98% (155 / 157) src/concrete/concrete_i64.ml
96% (77 / 80) src/concrete/concrete_memory.ml
73% (25 / 34) src/concrete/concrete_ref.ml
82% (32 / 39) src/concrete/concrete_table.ml
79% (53 / 67) src/concrete/concrete_v128.ml
71% (5 / 7) src/concrete/concrete_value.ml
73% (93 / 127) src/concrete/concrete_wasm_ffi.ml
63% (12 / 19) src/data_structures/annotated.ml
88% (37 / 42) src/data_structures/call_graph.ml
88% (30 / 34) src/data_structures/control_flow_graph.ml
71% (15 / 21) src/data_structures/origin.ml
94% (50 / 53) src/data_structures/priority_queue.ml
89% (76 / 85) src/data_structures/stack.ml
60% (43 / 71) src/data_structures/union_find.ml
0% (0 / 6) src/exploration/exploration_smart.ml
70% (70 / 99) src/exploration/prio.ml
95% (58 / 61) src/infra/benchmark.ml
100% (28 / 28) src/infra/log.ml
83% (5 / 6) src/infra/multicore.ml
36% (67 / 184) src/infra/result.ml
47% (53 / 111) src/infra/syntax.ml
50% (18 / 36) src/infra/wutf8.ml
77% (67 / 87) src/instrument/label.ml
92% (1313 / 1413) src/interpret/interpret.ml
100% (0 / 0) src/intf/boolean_intf.ml
100% (0 / 0) src/intf/choice_intf.ml
100% (0 / 0) src/intf/data_intf.ml
100% (0 / 0) src/intf/elem_intf.ml
100% (0 / 0) src/intf/env_intf.ml
100% (0 / 0) src/intf/f32_intf.ml
100% (0 / 0) src/intf/f64_intf.ml
100% (0 / 0) src/intf/fop_intf.ml
100% (0 / 0) src/intf/global_intf.ml
100% (0 / 0) src/intf/i32_intf.ml
100% (0 / 0) src/intf/i64_intf.ml
100% (0 / 0) src/intf/iop_intf.ml
100% (0 / 0) src/intf/memory_intf.ml
100% (0 / 0) src/intf/ref_intf.ml
100% (0 / 0) src/intf/table_intf.ml
100% (0 / 0) src/intf/v128_intf.ml
100% (0 / 0) src/intf/value_intf.ml
100% (0 / 0) src/intf/wasm_ffi_intf.ml
63% (227 / 355) src/ir/binary.ml
48% (298 / 620) src/ir/binary_encoder.ml
54% (34 / 62) src/ir/extern.ml
100% (0 / 0) src/ir/linked.ml
54% (204 / 374) src/ir/text.ml
36% (17 / 46) src/ir/wast.ml
92% (323 / 348) src/link/link.ml
87% (41 / 47) src/link/link_env.ml
78% (968 / 1234) src/parser/binary_parser.ml
11% (43 / 379) src/parser/parse.ml
95% (328 / 342) src/primitives/float32.ml
95% (331 / 346) src/primitives/float64.ml
98% (119 / 121) src/primitives/int32.ml
95% (108 / 113) src/primitives/int64.ml
73% (243 / 329) src/script/script.ml
90% (38 / 42) src/script/spectest.ml
100% (14 / 14) src/symbolic/bug.ml
75% (52 / 69) src/symbolic/model.ml
80% (34 / 42) src/symbolic/scheduler.ml
80% (49 / 61) src/symbolic/solver.ml
100% (20 / 20) src/symbolic/state_monad.ml
40% (67 / 165) src/symbolic/symbol_scope.ml
100% (0 / 0) src/symbolic/symbolic_boolean.ml
91% (191 / 209) src/symbolic/symbolic_choice.ml
100% (3 / 3) src/symbolic/symbolic_data.ml
88% (78 / 88) src/symbolic/symbolic_driver.ml
100% (4 / 4) src/symbolic/symbolic_elem.ml
96% (29 / 30) src/symbolic/symbolic_env.ml
100% (0 / 0) src/symbolic/symbolic_extern_func.ml
100% (4 / 4) src/symbolic/symbolic_f32.ml
100% (2 / 2) src/symbolic/symbolic_f64.ml
84% (16 / 19) src/symbolic/symbolic_global.ml
100% (0 / 0) src/symbolic/symbolic_global0.ml
97% (35 / 36) src/symbolic/symbolic_i32.ml
0% (0 / 2) src/symbolic/symbolic_i64.ml
98% (208 / 212) src/symbolic/symbolic_memory.ml
100% (0 / 0) src/symbolic/symbolic_memory0.ml
68% (26 / 38) src/symbolic/symbolic_parameters.ml
100% (14 / 14) src/symbolic/symbolic_path_condition.ml
6% (2 / 29) src/symbolic/symbolic_ref.ml
35% (16 / 45) src/symbolic/symbolic_table.ml
100% (0 / 0) src/symbolic/symbolic_table0.ml
0% (0 / 2) src/symbolic/symbolic_v128.ml
16% (1 / 6) src/symbolic/symbolic_value.ml
70% (125 / 177) src/symbolic/symbolic_wasm_ffi.ml
96% (28 / 29) src/symbolic/thread.ml
93% (946 / 1014) src/validate/binary_validate.ml
87% (132 / 151) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml
100% (0 / 0) src/owi.ml