mor1kx: Disable induction formal verification

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