diff options
Diffstat (limited to 'src/jib/jib_smt.ml')
| -rw-r--r-- | src/jib/jib_smt.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml index b662ef41..734f3fe4 100644 --- a/src/jib/jib_smt.ml +++ b/src/jib/jib_smt.ml @@ -1563,6 +1563,7 @@ let unroll_static_foreach ctx = function let unroll_loops () = Some !opt_unroll_limit let struct_value = true let use_real = true + let branch_coverage = false end |