89% (70 / 78) src/ast/binary.ml
52% (302 / 578) src/ast/binary_encoder.ml
89% (68 / 76) src/ast/binary_to_text.ml
43% (233 / 532) src/ast/code_generator.ml
83% (50 / 60) src/ast/compile.ml
100% (0 / 0) src/ast/kind.ml
66% (37 / 56) src/ast/text.ml
64% (252 / 389) src/ast/types.ml
90% (255 / 282) src/bin/owi.ml
87% (114 / 131) src/cmd/cmd_c.ml
73% (131 / 178) 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
93% (15 / 16) src/cmd/cmd_instrument_rac.ml
60% (111 / 182) src/cmd/cmd_iso.ml
49% (108 / 217) src/cmd/cmd_replay.ml
87% (14 / 16) 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
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
75% (6 / 8) src/instrument/annot.ml
65% (13 / 20) src/instrument/contract.ml
77% (67 / 87) src/instrument/label.ml
30% (81 / 265) src/instrument/spec.ml
95% (1434 / 1501) 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
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
98% (136 / 138) src/primitives/int32.ml
94% (128 / 135) src/primitives/int64.ml
78% (52 / 66) src/primitives/v128.ml
72% (178 / 246) 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
98% (98 / 99) src/text_to_binary/assigned.ml
98% (112 / 114) src/text_to_binary/grouped.ml
88% (348 / 395) src/text_to_binary/rewrite.ml
94% (18 / 19) src/utils/benchmark.ml
100% (24 / 24) src/utils/log.ml
34% (66 / 193) src/utils/result.ml
88% (52 / 59) src/utils/syntax.ml
16% (6 / 36) src/utils/wutf8.ml
94% (641 / 675) src/validate/binary_validate.ml
100% (68 / 68) src/validate/text_validate.ml
100% (0 / 0) src/Share.ml