92% (252 / 273) src/bin/owi.ml
87% (114 / 131) src/cmd/cmd_c.ml
75% (134 / 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
51% (113 / 220) 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
96% (24 / 25) 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% (3 / 3) src/concrete/concrete_boolean.ml
68% (11 / 16) src/concrete/concrete_choice.ml
100% (2 / 2) src/concrete/concrete_data.ml
100% (2 / 2) 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
100% (135 / 135) src/concrete/concrete_i32.ml
100% (154 / 154) src/concrete/concrete_i64.ml
100% (66 / 66) src/concrete/concrete_memory.ml
80% (17 / 21) src/concrete/concrete_ref.ml
100% (24 / 24) 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
22% (5 / 22) src/data_structures/prio.ml
89% (75 / 84) src/data_structures/stack.ml
60% (43 / 71) src/data_structures/union_find.ml
33% (2 / 6) src/exploration/exploration_smart.ml
50% (27 / 53) src/exploration/pq_imperative.ml
0% (0 / 17) src/exploration/priority_queue.ml
0% (0 / 13) src/exploration/wpq.ml
57% (8 / 14) src/exploration/wq.ml
60% (9 / 15) src/exploration/wq_random.ml
100% (14 / 14) src/exploration/ws.ml
92% (53 / 57) src/infra/benchmark.ml
96% (28 / 29) src/infra/log.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% (1372 / 1438) 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/symbolic_choice_intf.ml
100% (0 / 0) src/intf/table_intf.ml
100% (0 / 0) src/intf/thread_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
100% (0 / 0) src/intf/work_ds_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% (39 / 42) 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
76% (54 / 71) src/symbolic/model.ml
82% (33 / 40) src/symbolic/solver.ml
38% (71 / 184) src/symbolic/symbol_scope.ml
75% (12 / 16) src/symbolic/symbolic_boolean.ml
94% (298 / 317) src/symbolic/symbolic_choice.ml
100% (1 / 1) src/symbolic/symbolic_choice_with_memory.ml
100% (0 / 0) src/symbolic/symbolic_choice_without_memory.ml
100% (2 / 2) src/symbolic/symbolic_data.ml
91% (77 / 84) src/symbolic/symbolic_driver.ml
100% (3 / 3) src/symbolic/symbolic_elem.ml
80% (17 / 21) src/symbolic/symbolic_env.ml
100% (0 / 0) src/symbolic/symbolic_extern_func.ml
96% (30 / 31) src/symbolic/symbolic_f32.ml
96% (30 / 31) src/symbolic/symbolic_f64.ml
89% (25 / 28) src/symbolic/symbolic_global.ml
85% (95 / 111) src/symbolic/symbolic_i32.ml
77% (48 / 62) src/symbolic/symbolic_i64.ml
86% (20 / 23) src/symbolic/symbolic_memory.ml
78% (173 / 221) src/symbolic/symbolic_memory_concretizing.ml
75% (3 / 4) src/symbolic/symbolic_parameters.ml
100% (14 / 14) src/symbolic/symbolic_path_condition.ml
9% (2 / 21) src/symbolic/symbolic_ref.ml
61% (21 / 34) src/symbolic/symbolic_table.ml
27% (5 / 18) src/symbolic/symbolic_v128.ml
16% (1 / 6) src/symbolic/symbolic_value.ml
68% (130 / 189) src/symbolic/symbolic_wasm_ffi.ml
100% (33 / 33) src/symbolic/thread.ml
100% (24 / 24) src/symbolic/thread_with_memory.ml
100% (2 / 2) src/symbolic/thread_without_memory.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