93% (244 / 262) src/bin/owi.ml
87% (114 / 131) src/cmd/cmd_c.ml
73% (131 / 178) src/cmd/cmd_call_graph.ml
85% (69 / 81) 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% (113 / 184) 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
0% (0 / 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% (98 / 98) src/compile/assigned.ml
60% (126 / 210) src/compile/binary_to_text.ml
85% (48 / 56) src/compile/compile.ml
98% (107 / 109) src/compile/grouped.ml
100% (2 / 2) src/compile/kind.ml
96% (287 / 296) src/compile/rewrite.ml
100% (2 / 2) src/concrete/concrete_boolean.ml
70% (12 / 17) 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
100% (29 / 29) src/concrete/concrete_f64.ml
100% (2 / 2) src/concrete/concrete_global.ml
99% (138 / 139) src/concrete/concrete_i32.ml
99% (156 / 157) src/concrete/concrete_i64.ml
100% (68 / 68) src/concrete/concrete_memory.ml
80% (17 / 21) src/concrete/concrete_ref.ml
100% (28 / 28) 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% (75 / 84) src/data_structures/stack.ml
60% (43 / 71) src/data_structures/union_find.ml
0% (0 / 6) src/exploration/exploration_smart.ml
67% (70 / 104) src/exploration/prio.ml
94% (50 / 53) src/infra/benchmark.ml
100% (28 / 28) src/infra/log.ml
83% (5 / 6) src/infra/multicore.ml
35% (62 / 176) src/infra/result.ml
52% (53 / 101) src/infra/syntax.ml
16% (6 / 36) src/infra/wutf8.ml
77% (67 / 87) src/instrument/label.ml
95% (1411 / 1482) 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% (168 / 265) src/ir/binary.ml
50% (293 / 580) src/ir/binary_encoder.ml
54% (34 / 62) src/ir/extern.ml
100% (0 / 0) src/ir/linked.ml
60% (186 / 305) src/ir/text.ml
41% (16 / 39) src/ir/wast.ml
97% (284 / 291) src/link/link.ml
92% (37 / 40) src/link/link_env.ml
77% (875 / 1126) src/parser/binary_parser.ml
10% (38 / 366) src/parser/parse.ml
96% (348 / 362) src/primitives/float32.ml
95% (351 / 366) src/primitives/float64.ml
98% (126 / 128) src/primitives/int32.ml
98% (113 / 115) src/primitives/int64.ml
74% (198 / 265) 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
81% (36 / 44) src/symbolic/scheduler.ml
85% (46 / 54) src/symbolic/solver.ml
100% (20 / 20) src/symbolic/state_monad.ml
40% (67 / 165) src/symbolic/symbol_scope.ml
66% (6 / 9) src/symbolic/symbolic_boolean.ml
92% (208 / 226) src/symbolic/symbolic_choice.ml
100% (3 / 3) src/symbolic/symbolic_data.ml
89% (58 / 65) 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
97% (36 / 37) src/symbolic/symbolic_f32.ml
92% (36 / 39) src/symbolic/symbolic_f64.ml
83% (15 / 18) src/symbolic/symbolic_global.ml
100% (0 / 0) src/symbolic/symbolic_global0.ml
85% (91 / 107) src/symbolic/symbolic_i32.ml
80% (59 / 73) src/symbolic/symbolic_i64.ml
76% (171 / 223) src/symbolic/symbolic_memory.ml
100% (0 / 0) src/symbolic/symbolic_memory0.ml
68% (26 / 38) src/symbolic/symbolic_parameters.ml
100% (16 / 16) src/symbolic/symbolic_path_condition.ml
9% (2 / 21) src/symbolic/symbolic_ref.ml
43% (16 / 37) src/symbolic/symbolic_table.ml
100% (0 / 0) src/symbolic/symbolic_table0.ml
27% (5 / 18) src/symbolic/symbolic_v128.ml
16% (1 / 6) src/symbolic/symbolic_value.ml
68% (119 / 175) src/symbolic/symbolic_wasm_ffi.ml
96% (27 / 28) src/symbolic/thread.ml
94% (645 / 679) src/validate/binary_validate.ml
100% (62 / 62) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml
100% (0 / 0) src/owi.ml