6% (1 / 16) src/abstract/abstract_boolean.ml
26% (56 / 214) src/abstract/abstract_checker.ml
0% (0 / 5) src/abstract/abstract_data.ml
100% (0 / 0) src/abstract/abstract_domain.ml
0% (0 / 4) src/abstract/abstract_elem.ml
100% (0 / 0) src/abstract/abstract_extern.ml
50% (3 / 6) src/abstract/abstract_f32.ml
50% (3 / 6) src/abstract/abstract_f64.ml
60% (26 / 43) src/abstract/abstract_i32.ml
25% (12 / 47) src/abstract/abstract_i64.ml
72% (215 / 296) src/abstract/abstract_interpreter_control_flow.ml
5% (98 / 1635) src/abstract/abstract_interpreter_simple.ml
0% (0 / 1) src/abstract/abstract_interpreter_state.ml
52% (9 / 17) src/abstract/abstract_invariant.ml
68% (13 / 19) src/abstract/abstract_jump_map.ml
100% (4 / 4) src/abstract/abstract_locals.ml
0% (0 / 21) src/abstract/abstract_memory.ml
68% (11 / 16) src/abstract/abstract_monad.ml
0% (0 / 47) src/abstract/abstract_ref.ml
44% (74 / 166) src/abstract/abstract_stack.ml
27% (3 / 11) src/abstract/abstract_state.ml
0% (0 / 11) src/abstract/abstract_table.ml
6% (1 / 15) src/abstract/abstract_v128.ml
12% (16 / 124) src/abstract/abstract_value.ml
45% (33 / 73) src/abstract/abstract_wasm_ffi.ml
94% (294 / 311) src/bin/owi.ml
86% (102 / 118) src/cmd/cmd_c.ml
0% (0 / 13) src/cmd/cmd_c_fuzz.ml
92% (12 / 13) src/cmd/cmd_c_sym.ml
87% (85 / 97) src/cmd/cmd_cpp_sym.ml
79% (34 / 43) src/cmd/cmd_go_sym.ml
0% (0 / 33) src/cmd/cmd_haskell_sym.ml
81% (70 / 86) src/cmd/cmd_llvm_sym.ml
86% (40 / 46) src/cmd/cmd_rust_sym.ml
77% (68 / 88) src/cmd/cmd_utils.ml
21% (5 / 23) src/cmd/cmd_version.ml
100% (14 / 14) src/cmd/cmd_wasm_abs.ml
81% (69 / 85) src/cmd/cmd_wasm_analyze_cfg.ml
71% (127 / 178) src/cmd/cmd_wasm_analyze_cg.ml
95% (19 / 20) src/cmd/cmd_wasm_fmt.ml
88% (16 / 18) src/cmd/cmd_wasm_fuzz.ml
76% (10 / 13) src/cmd/cmd_wasm_instrument_label.ml
62% (116 / 186) src/cmd/cmd_wasm_iso.ml
100% (7 / 7) src/cmd/cmd_wasm_of_wat.ml
48% (102 / 210) src/cmd/cmd_wasm_replay.ml
80% (8 / 10) src/cmd/cmd_wasm_run.ml
55% (5 / 9) src/cmd/cmd_wasm_script.ml
96% (31 / 32) src/cmd/cmd_wasm_sym.ml
100% (17 / 17) src/cmd/cmd_wasm_to_wat.ml
75% (3 / 4) src/cmd/cmd_wasm_validate.ml
79% (34 / 43) src/cmd/cmd_zig_sym.ml
95% (137 / 144) src/compile/assigned.ml
32% (199 / 617) src/compile/binary_to_text.ml
64% (64 / 100) src/compile/compile.ml
99% (122 / 123) src/compile/grouped.ml
100% (2 / 2) src/compile/kind.ml
97% (920 / 946) src/compile/rewrite.ml
94% (17 / 18) src/concrete/concrete_array.ml
75% (6 / 8) src/concrete/concrete_boolean.ml
52% (9 / 17) src/concrete/concrete_choice.ml
100% (7 / 7) src/concrete/concrete_data.ml
100% (4 / 4) src/concrete/concrete_elem.ml
100% (0 / 0) src/concrete/concrete_extern.ml
97% (43 / 44) src/concrete/concrete_f32.ml
96% (28 / 29) src/concrete/concrete_f64.ml
91% (111 / 121) src/concrete/concrete_i16.ml
98% (177 / 180) src/concrete/concrete_i32.ml
98% (172 / 174) src/concrete/concrete_i64.ml
100% (91 / 91) src/concrete/concrete_i8.ml
96% (87 / 90) src/concrete/concrete_memory.ml
73% (60 / 82) src/concrete/concrete_ref.ml
100% (9 / 9) src/concrete/concrete_struct.ml
78% (32 / 41) src/concrete/concrete_table.ml
91% (1059 / 1161) src/concrete/concrete_v128.ml
70% (100 / 142) src/concrete/concrete_value.ml
73% (93 / 127) src/concrete/concrete_wasm_ffi.ml
100% (8 / 8) src/data_structures/allocator.ml
65% (13 / 20) src/data_structures/annotated.ml
88% (37 / 42) src/data_structures/call_graph.ml
0% (0 / 6) src/data_structures/collection.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
90% (214 / 236) src/data_structures/stack.ml
0% (0 / 1) src/env/env.ml
81% (140 / 172) src/env/env0.ml
100% (214 / 214) src/env/env_linker.ml
98% (663 / 671) src/env/env_rewriter.ml
0% (0 / 6) src/exploration/exploration_smart.ml
70% (70 / 99) src/exploration/prio.ml
2% (2 / 69) src/fuzz/fuzz_dict.ml
72% (16 / 22) src/fuzz/fuzz_driver.ml
21% (8 / 38) src/fuzz/fuzz_gen.ml
100% (1 / 1) src/fuzz/fuzz_state.ml
43% (28 / 64) src/fuzz/fuzz_wasm_ffi.ml
95% (58 / 61) src/infra/benchmark.ml
66% (4 / 6) src/infra/init.ml
100% (28 / 28) src/infra/log.ml
83% (5 / 6) src/infra/multicore.ml
38% (74 / 192) src/infra/result.ml
43% (47 / 108) src/infra/syntax.ml
50% (18 / 36) src/infra/wutf8.ml
79% (69 / 87) src/instrument/label.ml
72% (91 / 125) src/interpret/constexpr_eval.ml
93% (2564 / 2744) src/interpret/interpret.ml
100% (0 / 0) src/intf/array_intf.ml
100% (0 / 0) src/intf/boolean_intf.ml
100% (0 / 0) src/intf/choice_intf.ml
100% (0 / 0) src/intf/constexpr_eval_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/extern_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/i16_intf.ml
100% (0 / 0) src/intf/i32_intf.ml
100% (0 / 0) src/intf/i64_intf.ml
100% (0 / 0) src/intf/i8_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/struct_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
52% (363 / 695) src/ir/binary.ml
30% (312 / 1025) src/ir/binary_encoder.ml
59% (34 / 57) src/ir/extern.ml
29% (237 / 815) src/ir/text.ml
22% (17 / 74) src/ir/wast.ml
63% (997 / 1581) src/parser/binary_parser.ml
72% (36 / 50) src/parser/parse.ml
91% (11 / 12) src/parser/text_keywords.ml
95% (334 / 348) src/primitives/float32.ml
96% (340 / 352) src/primitives/float64.ml
98% (107 / 109) src/primitives/int32.ml
95% (93 / 97) src/primitives/int64.ml
77% (106 / 137) src/script/script.ml
2% (1 / 39) src/script/script_abstract.ml
71% (54 / 76) src/script/script_error.ml
0% (1 / 109) src/script/script_symbolic.ml
54% (60 / 110) src/script/spectest.ml
66% (18 / 27) src/symbolic/bug.ml
76% (54 / 71) src/symbolic/model.ml
86% (69 / 80) src/symbolic/solver.ml
38% (63 / 165) src/symbolic/symbol_scope.ml
0% (0 / 7) src/symbolic/symbolic_array.ml
100% (0 / 0) src/symbolic/symbolic_boolean.ml
90% (154 / 171) src/symbolic/symbolic_choice.ml
42% (3 / 7) src/symbolic/symbolic_data.ml
80% (88 / 109) src/symbolic/symbolic_driver.ml
100% (4 / 4) src/symbolic/symbolic_elem.ml
100% (0 / 0) src/symbolic/symbolic_extern.ml
66% (4 / 6) src/symbolic/symbolic_f32.ml
50% (2 / 4) src/symbolic/symbolic_f64.ml
100% (0 / 0) src/symbolic/symbolic_i16.ml
97% (36 / 37) src/symbolic/symbolic_i32.ml
50% (2 / 4) src/symbolic/symbolic_i64.ml
100% (0 / 0) src/symbolic/symbolic_i8.ml
90% (147 / 162) src/symbolic/symbolic_memory.ml
68% (26 / 38) src/symbolic/symbolic_parameters.ml
5% (4 / 67) src/symbolic/symbolic_ref.ml
0% (0 / 5) src/symbolic/symbolic_struct.ml
32% (16 / 49) src/symbolic/symbolic_table.ml
0% (0 / 2) src/symbolic/symbolic_v128.ml
0% (1 / 128) src/symbolic/symbolic_value.ml
69% (198 / 283) src/symbolic/symbolic_wasm_ffi.ml
100% (18 / 18) src/symbolic/thread.ml
94% (2181 / 2317) 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