75% (6 / 8) src/annot/annot.ml
80% (16 / 20) src/annot/contract.ml
36% (95 / 263) src/annot/spec.ml
100% (0 / 0) src/ast/binary.ml
53% (302 / 562) 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
50% (258 / 509) src/ast/types.ml
73% (217 / 296) src/bin/owi.ml
92% (117 / 127) src/cmd/cmd_c.ml
88% (222 / 250) src/cmd/cmd_conc.ml
79% (68 / 86) src/cmd/cmd_cpp.ml
94% (18 / 19) src/cmd/cmd_fmt.ml
88% (16 / 18) src/cmd/cmd_instrument.ml
100% (10 / 10) src/cmd/cmd_opt.ml
53% (42 / 78) src/cmd/cmd_replay.ml
92% (13 / 14) src/cmd/cmd_run.ml
76% (33 / 43) src/cmd/cmd_rust.ml
77% (7 / 9) src/cmd/cmd_script.ml
93% (89 / 95) src/cmd/cmd_sym.ml
77% (42 / 54) src/cmd/cmd_utils.ml
83% (5 / 6) src/cmd/cmd_validate.ml
75% (12 / 16) src/cmd/cmd_version.ml
100% (16 / 16) src/cmd/cmd_wasm2wat.ml
81% (9 / 11) src/cmd/cmd_wat2wasm.ml
75% (60 / 79) src/concolic/concolic.ml
86% (80 / 92) src/concolic/concolic_choice.ml
100% (0 / 0) src/concolic/concolic_extern_func.ml
68% (24 / 35) src/concolic/concolic_memory.ml
69% (109 / 157) src/concolic/concolic_value.ml
42% (29 / 68) src/concolic/concolic_wasm_ffi.ml
100% (11 / 11) src/concrete/concrete.ml
100% (10 / 10) src/concrete/concrete_choice.ml
100% (0 / 0) src/concrete/concrete_extern_func.ml
83% (5 / 6) src/concrete/concrete_global.ml
95% (76 / 80) 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% (0 / 0) src/data_structures/imported.ml
80% (8 / 10) src/data_structures/indexed.ml
82% (14 / 17) src/data_structures/named.ml
100% (0 / 0) 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
88% (30 / 34) src/data_structures/synchronizer.ml
100% (14 / 14) src/data_structures/wq.ml
91% (1237 / 1345) src/interpret/interpret.ml
69% (9 / 13) src/interpret/trap.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
91% (256 / 279) src/link/link.ml
95% (61 / 64) src/link/link_env.ml
100% (0 / 0) src/minimalist_symbolic/minimalist_symbolic.ml
0% (0 / 36) src/minimalist_symbolic/minimalist_symbolic_choice.ml
86% (424 / 491) src/optimize/optimize.ml
73% (767 / 1045) src/parser/binary_parser.ml
9% (35 / 352) src/parser/parse.ml
99% (345 / 346) src/primitives/convert.ml
96% (347 / 361) src/primitives/float32.ml
95% (350 / 365) src/primitives/float64.ml
99% (133 / 134) src/primitives/int32.ml
94% (126 / 133) src/primitives/int64.ml
80% (177 / 221) src/script/script.ml
83% (10 / 12) src/script/spectest.ml
100% (12 / 12) src/symbolic/solver.ml
100% (0 / 0) src/symbolic/symbolic.ml
95% (233 / 243) 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
88% (54 / 61) src/symbolic/symbolic_functor.ml
94% (36 / 38) src/symbolic/symbolic_global.ml
66% (136 / 204) src/symbolic/symbolic_memory.ml
92% (117 / 127) src/symbolic/symbolic_memory_concretizing.ml
87% (113 / 129) src/symbolic/symbolic_memory_make.ml
71% (32 / 45) src/symbolic/symbolic_table.ml
85% (209 / 244) src/symbolic/symbolic_value.ml
100% (21 / 21) src/symbolic/symbolic_wasm_ffi.ml
100% (21 / 21) src/symbolic/thread.ml
100% (20 / 20) src/symbolic/thread_with_memory.ml
100% (2 / 2) src/symbolic/thread_without_memory.ml
100% (83 / 83) src/text_to_binary/assigned.ml
100% (101 / 101) src/text_to_binary/grouped.ml
81% (340 / 417) src/text_to_binary/rewrite.ml
83% (10 / 12) src/utils/log.ml
53% (44 / 82) src/utils/result.ml
87% (71 / 81) src/utils/stats.ml
87% (54 / 62) src/utils/syntax.ml
57% (4 / 7) src/utils/tracing.ml
16% (6 / 36) src/utils/wutf8.ml
88% (621 / 704) src/validate/binary_validate.ml
100% (68 / 68) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml