75% (6 / 8) src/annot/annot.ml
65% (13 / 20) src/annot/contract.ml
30% (79 / 263) src/annot/spec.ml
92% (23 / 25) src/ast/binary.ml
53% (302 / 563) src/ast/binary_encoder.ml
74% (105 / 141) src/ast/binary_to_text.ml
50% (31 / 61) src/ast/binary_types.ml
48% (205 / 420) src/ast/code_generator.ml
82% (69 / 84) src/ast/compile.ml
100% (0 / 0) src/ast/kind.ml
66% (37 / 56) src/ast/text.ml
51% (267 / 515) src/ast/types.ml
93% (209 / 223) src/bin/owi.ml
93% (114 / 122) src/cmd/cmd_c.ml
84% (237 / 280) src/cmd/cmd_conc.ml
88% (85 / 96) src/cmd/cmd_cpp.ml
95% (19 / 20) src/cmd/cmd_fmt.ml
93% (15 / 16) src/cmd/cmd_instrument.ml
61% (95 / 155) src/cmd/cmd_iso.ml
100% (9 / 9) src/cmd/cmd_opt.ml
40% (60 / 147) src/cmd/cmd_replay.ml
100% (11 / 11) src/cmd/cmd_run.ml
90% (40 / 44) src/cmd/cmd_rust.ml
100% (5 / 5) src/cmd/cmd_script.ml
90% (134 / 148) src/cmd/cmd_sym.ml
78% (61 / 78) 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
84% (38 / 45) src/cmd/cmd_zig.ml
71% (59 / 83) src/concolic/concolic.ml
76% (70 / 92) src/concolic/concolic_choice.ml
100% (0 / 0) src/concolic/concolic_extern_func.ml
66% (24 / 36) src/concolic/concolic_memory.ml
69% (112 / 162) src/concolic/concolic_value.ml
37% (39 / 103) src/concolic/concolic_wasm_ffi.ml
90% (10 / 11) src/concrete/concrete.ml
80% (8 / 10) src/concrete/concrete_choice.ml
100% (0 / 0) src/concrete/concrete_extern_func.ml
83% (5 / 6) src/concrete/concrete_global.ml
95% (86 / 90) src/concrete/concrete_memory.ml
100% (27 / 27) src/concrete/concrete_table.ml
82% (14 / 17) src/concrete/concrete_value.ml
75% (25 / 33) src/concrete/v.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
100% (3 / 3) src/data_structures/runtime.ml
0% (0 / 5) src/data_structures/sexp.ml
96% (72 / 75) src/data_structures/stack.ml
100% (0 / 0) src/data_structures/string_map.ml
97% (33 / 34) src/data_structures/synchronizer.ml
58% (39 / 67) src/data_structures/union_find.ml
100% (14 / 14) src/data_structures/wq.ml
93% (1273 / 1368) src/interpret/interpret.ml
100% (0 / 0) src/intf/choice_intf.ml
61% (24 / 39) 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
92% (267 / 288) src/link/link.ml
95% (61 / 64) src/link/link_env.ml
100% (0 / 0) src/minimalist_symbolic/minimalist_symbolic.ml
0% (0 / 39) src/minimalist_symbolic/minimalist_symbolic_choice.ml
86% (425 / 490) src/optimize/optimize.ml
73% (783 / 1067) src/parser/binary_parser.ml
10% (36 / 353) src/parser/parse.ml
99% (355 / 356) src/primitives/convert.ml
96% (347 / 361) src/primitives/float32.ml
95% (350 / 365) src/primitives/float64.ml
97% (135 / 138) src/primitives/int32.ml
94% (128 / 135) src/primitives/int64.ml
71% (174 / 242) src/script/script.ml
90% (20 / 22) src/script/spectest.ml
33% (6 / 18) src/symbolic/solver.ml
100% (0 / 0) src/symbolic/symbolic.ml
98% (250 / 255) 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
81% (53 / 65) src/symbolic/symbolic_functor.ml
94% (36 / 38) src/symbolic/symbolic_global.ml
82% (138 / 167) src/symbolic/symbolic_memory.ml
96% (123 / 128) src/symbolic/symbolic_memory_concretizing.ml
88% (111 / 125) src/symbolic/symbolic_memory_make.ml
88% (16 / 18) src/symbolic/symbolic_path_condition.ml
71% (32 / 45) src/symbolic/symbolic_table.ml
79% (204 / 258) src/symbolic/symbolic_value.ml
71% (70 / 98) src/symbolic/symbolic_wasm_ffi.ml
100% (24 / 24) src/symbolic/thread.ml
100% (22 / 22) src/symbolic/thread_with_memory.ml
100% (2 / 2) src/symbolic/thread_without_memory.ml
99% (110 / 111) src/text_to_binary/assigned.ml
99% (127 / 128) src/text_to_binary/grouped.ml
81% (357 / 440) src/text_to_binary/rewrite.ml
34% (67 / 193) src/utils/result.ml
88% (52 / 59) src/utils/syntax.ml
16% (6 / 36) src/utils/wutf8.ml
88% (628 / 709) src/validate/binary_validate.ml
100% (68 / 68) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml