cpu: Disable induction formal verification

openrisc · May 16, 2022 · b0e67ac · b0e67ac
1 parent e1581d8
commit b0e67ac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bench/formal/mor1kx_cpu_cappuccino.sby b/bench/formal/mor1kx_cpu_cappuccino.sby
@@ -1,7 +1,7 @@
 # We only check the first few cycles since we just confirm reset conditions
 [options]
-mode prove
-depth 10
+mode bmc
+depth 16
 
 [engines]
 smtbmc yices