mirror of
https://github.com/YosysHQ/sby.git
synced 2025-08-14 00:51:18 +00:00
timeout.sby: Increase depth
CI was too fast
This commit is contained in:
parent
41bd894eff
commit
4adf5e5259
1 changed files with 1 additions and 1 deletions
|
@ -17,7 +17,7 @@ bmc: mode bmc
|
||||||
cover: mode cover
|
cover: mode cover
|
||||||
prove: mode prove
|
prove: mode prove
|
||||||
expect TIMEOUT
|
expect TIMEOUT
|
||||||
depth 10000
|
depth 40000
|
||||||
timeout 1
|
timeout 1
|
||||||
vcd_sim off
|
vcd_sim off
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue