90% (243 / 270) src/bin/owi.ml
87% (114 / 131) src/cmd/cmd_c.ml
73% (130 / 177) 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
66% (10 / 15) src/cmd/cmd_instrument_label.ml
60% (111 / 182) src/cmd/cmd_iso.ml
49% (108 / 217) src/cmd/cmd_replay.ml
75% (6 / 8) src/cmd/cmd_run.ml
86% (40 / 46) src/cmd/cmd_rust.ml
100% (5 / 5) src/cmd/cmd_script.ml
82% (153 / 186) 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% (96 / 96) src/compile/assigned.ml
52% (182 / 348) src/compile/binary_to_text.ml
82% (46 / 56) src/compile/compile.ml
98% (110 / 112) src/compile/grouped.ml
100% (0 / 0) src/compile/kind.ml
97% (469 / 481) src/compile/rewrite.ml
91% (11 / 12) src/concrete/concrete.ml
80% (8 / 10) src/concrete/concrete_choice.ml
100% (0 / 0) src/concrete/concrete_extern_func.ml
50% (3 / 6) src/concrete/concrete_global.ml
95% (66 / 69) src/concrete/concrete_memory.ml
88% (24 / 27) src/concrete/concrete_table.ml
83% (15 / 18) src/concrete/concrete_value.ml
73% (93 / 127) src/concrete/concrete_wasm_ffi.ml
50% (17 / 34) src/concrete/v.ml
66% (12 / 18) src/data_structures/annotated.ml
88% (37 / 42) src/data_structures/call_graph.ml
88% (30 / 34) src/data_structures/control_flow_graph.ml
80% (8 / 10) src/data_structures/env_id.ml
87% (7 / 8) src/data_structures/func_id.ml
100% (1 / 1) src/data_structures/imported.ml
90% (18 / 20) src/data_structures/indexed.ml
85% (12 / 14) src/data_structures/named.ml
13% (3 / 22) src/data_structures/prio.ml
100% (3 / 3) src/data_structures/runtime.ml
0% (0 / 5) src/data_structures/sexp.ml
96% (82 / 85) src/data_structures/stack.ml
100% (0 / 0) src/data_structures/string_map.ml
58% (39 / 67) src/data_structures/union_find.ml
0% (0 / 6) src/exploration/exploration_smart.ml
0% (0 / 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
0% (0 / 15) src/exploration/wq_random.ml
92% (13 / 14) src/exploration/ws.ml
94% (18 / 19) src/infra/benchmark.ml
100% (24 / 24) src/infra/log.ml
36% (66 / 180) src/infra/result.ml
76% (45 / 59) src/infra/syntax.ml
16% (6 / 36) src/infra/wutf8.ml
77% (67 / 87) src/instrument/label.ml
95% (1433 / 1500) src/interpret/interpret.ml
100% (0 / 0) src/intf/choice_intf.ml
58% (37 / 63) 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
100% (0 / 0) src/intf/work_ds_intf.ml
58% (263 / 448) src/ir/binary.ml
51% (296 / 578) src/ir/binary_encoder.ml
48% (194 / 402) src/ir/text.ml
39% (15 / 38) src/ir/wast.ml
97% (270 / 277) src/link/link.ml
59% (38 / 64) src/link/link_env.ml
100% (0 / 0) src/minimalist_symbolic/minimalist_symbolic.ml
0% (0 / 43) src/minimalist_symbolic/minimalist_symbolic_choice.ml
74% (814 / 1099) src/parser/binary_parser.ml
10% (38 / 366) src/parser/parse.ml
99% (355 / 356) src/primitives/convert.ml
96% (348 / 362) src/primitives/float32.ml
95% (351 / 366) src/primitives/float64.ml
97% (135 / 138) src/primitives/int32.ml
94% (128 / 135) src/primitives/int64.ml
78% (52 / 66) src/primitives/v128.ml
72% (182 / 250) src/script/script.ml
90% (38 / 42) src/script/spectest.ml
55% (11 / 20) src/symbolic/solver.ml
42% (70 / 166) src/symbolic/symbol_scope.ml
100% (0 / 0) src/symbolic/symbolic.ml
96% (280 / 289) 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
74% (52 / 70) src/symbolic/symbolic_functor.ml
90% (36 / 40) src/symbolic/symbolic_global.ml
94% (73 / 77) src/symbolic/symbolic_memory_concretizing.ml
69% (112 / 162) src/symbolic/symbolic_memory_make.ml
66% (12 / 18) src/symbolic/symbolic_path_condition.ml
71% (32 / 45) src/symbolic/symbolic_table.ml
76% (220 / 286) src/symbolic/symbolic_value.ml
68% (126 / 185) src/symbolic/symbolic_wasm_ffi.ml
100% (31 / 31) src/symbolic/thread.ml
100% (24 / 24) src/symbolic/thread_with_memory.ml
100% (2 / 2) src/symbolic/thread_without_memory.ml
94% (641 / 675) src/validate/binary_validate.ml
100% (68 / 68) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml