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
49% (247 / 503) src/ast/types.ml
69% (179 / 256) src/bin/owi.ml
92% (120 / 130) src/cmd/cmd_c.ml
88% (221 / 249) src/cmd/cmd_conc.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 / 79) src/cmd/cmd_replay.ml
92% (13 / 14) src/cmd/cmd_run.ml
77% (7 / 9) src/cmd/cmd_script.ml
90% (85 / 94) src/cmd/cmd_sym.ml
77% (42 / 54) src/cmd/cmd_utils.ml
83% (5 / 6) src/cmd/cmd_validate.ml
100% (16 / 16) src/cmd/cmd_wasm2wat.ml
81% (9 / 11) src/cmd/cmd_wat2wasm.ml
76% (80 / 105) src/concolic/concolic.ml
86% (80 / 92) src/concolic/concolic_choice.ml
66% (109 / 163) src/concolic/concolic_value.ml
40% (31 / 76) src/concolic/concolic_wasm_ffi.ml
100% (11 / 11) src/concrete/concrete.ml
100% (10 / 10) src/concrete/concrete_choice.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
68% (49 / 72) src/concrete/concrete_value.ml
82% (14 / 17) src/concrete/v.ml
77% (7 / 9) src/data_structures/env_id.ml
100% (7 / 7) 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
100% (0 / 0) 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
94% (54 / 57) src/link/link_env.ml
86% (424 / 491) src/optimize/optimize.ml
71% (749 / 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% (7 / 7) src/symbolic/solver.ml
83% (52 / 62) src/symbolic/symbolic.ml
95% (222 / 232) src/symbolic/symbolic_choice.ml
0% (0 / 36) src/symbolic/symbolic_choice_minimalist.ml
100% (1 / 1) src/symbolic/symbolic_choice_with_memory.ml
100% (0 / 0) src/symbolic/symbolic_choice_without_memory.ml
94% (37 / 39) 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% (23 / 23) 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% (50 / 57) 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/C_share_site.ml