lsu: Disable induction formal verification

openrisc · May 16, 2022 · e1581d8 · e1581d8
1 parent cebcd66
commit e1581d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bench/formal/mor1kx_lsu_cappuccino.sby b/bench/formal/mor1kx_lsu_cappuccino.sby
@@ -4,7 +4,7 @@ prv
 
 [options]
 cvr: mode cover
-prv: mode prove
+prv: mode bmc
 depth 20
 
 [engines]