add minimum depth requirement for possible clock periods
This commit is contained in:
parent
60c9d5ae85
commit
7c8b8af71f
|
|
@ -1,5 +1,6 @@
|
||||||
[options]
|
[options]
|
||||||
mode prove
|
mode prove
|
||||||
|
depth 17 # 13 for 20/5, 17 for 10/2.5, 26 for 5/1.25
|
||||||
|
|
||||||
[engines]
|
[engines]
|
||||||
smtbmc
|
smtbmc
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue