97% (89 / 91) src/ast_simpl/assigned.ml
100% (96 / 96) src/ast_simpl/grouped.ml
91% (440 / 483) src/ast_simpl/rewrite.ml
69% (9 / 13) src/ast_types/simplified.ml
95% (64 / 67) src/ast_types/simplified_types.ml
55% (33 / 59) src/ast_types/text.ml
43% (124 / 285) src/ast_types/types.ml
76% (156 / 205) src/bin/owi.ml
25% (3 / 12) src/c_processing/c_instrumentor.ml
83% (15 / 18) src/c_processing/c_share.ml
100% (68 / 68) src/check/check.ml
91% (174 / 190) src/cmd/cmd_c.ml
81% (22 / 27) src/cmd/cmd_fmt.ml
80% (8 / 10) src/cmd/cmd_opt.ml
90% (9 / 10) src/cmd/cmd_run.ml
77% (7 / 9) src/cmd/cmd_script.ml
93% (147 / 157) src/cmd/cmd_sym.ml
87% (7 / 8) src/cmd/cmd_validate.ml
100% (11 / 11) src/concrete/concrete.ml
100% (10 / 10) src/concrete/concrete_choice.ml
100% (4 / 4) src/concrete/concrete_global.ml
94% (73 / 77) src/concrete/concrete_memory.ml
100% (24 / 24) src/concrete/concrete_table.ml
63% (45 / 71) src/concrete/concrete_value.ml
100% (13 / 13) src/concrete/thread.ml
100% (7 / 7) src/data_structures/env_id.ml
100% (7 / 7) src/data_structures/func_id.ml
100% (0 / 0) src/data_structures/imported.ml
100% (14 / 14) src/data_structures/indexed.ml
100% (6 / 6) src/data_structures/named.ml
100% (0 / 0) src/data_structures/runtime.ml
82% (72 / 87) src/data_structures/stack.ml
100% (0 / 0) src/data_structures/string_map.ml
100% (0 / 0) src/interpret/choice_intf.ml
91% (1263 / 1379) src/interpret/interpret.ml
100% (0 / 0) src/interpret/interpret_intf.ml
69% (9 / 13) src/interpret/trap.ml
91% (21 / 23) src/lexpar/parse.ml
84% (231 / 272) src/link/link.ml
91% (31 / 34) src/link/link_env.ml
86% (426 / 493) src/optimize/optimize.ml
99% (266 / 267) src/primitives/convert.ml
91% (270 / 294) src/primitives/float32.ml
91% (272 / 298) src/primitives/float64.ml
98% (119 / 121) src/primitives/int32.ml
96% (116 / 120) src/primitives/int64.ml
80% (146 / 182) src/script/script.ml
80% (8 / 10) src/script/spectest.ml
100% (2 / 2) src/symbolic/solver.ml
78% (61 / 78) src/symbolic/symbolic.ml
82% (242 / 292) src/symbolic/symbolic_choice.ml
97% (38 / 39) src/symbolic/symbolic_global.ml
84% (174 / 205) src/symbolic/symbolic_memory.ml
71% (32 / 45) src/symbolic/symbolic_table.ml
85% (206 / 242) src/symbolic/symbolic_value.ml
85% (445 / 520) src/typecheck/typecheck.ml
66% (2 / 3) src/utils/format.ml
81% (9 / 11) src/utils/log.ml
81% (40 / 49) src/utils/syntax.ml
16% (6 / 36) src/utils/wutf8.ml
100% (0 / 0) src/C_share_site.ml
95% (40 / 42) src/compile.ml
100% (0 / 0) src/func_intf.ml
66% (37 / 56) src/result.ml
57% (4 / 7) src/tracing.ml
86% (13 / 15) src/v.ml
100% (0 / 0) src/value_intf.ml