diff options
Diffstat (limited to 'src/jib/jib_smt.ml')
| -rw-r--r-- | src/jib/jib_smt.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml index 26509a69..359704b0 100644 --- a/src/jib/jib_smt.ml +++ b/src/jib/jib_smt.ml @@ -1584,7 +1584,7 @@ let unroll_static_foreach ctx = function let unroll_loops = Some Opts.unroll_limit let struct_value = true let use_real = true - let branch_coverage = false + let branch_coverage = None let track_throw = false end |