Hardware
/
picorv32
mirror of https://github.com/YosysHQ/picorv32.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Better "steps" default in smt2-bmc/sync.py

This commit is contained in:
Clifford Wolf 2015-10-06 11:35:23 +02:00
parent f8c96d6d37
commit b5b1816101
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/smt2-bmc/sync.py
View File

@ -3,7 +3,7 @@
import os, sys, getopt import os, sys, getopt
from smtio import smtio, smtopts from smtio import smtio, smtopts
steps = 20 steps = 14
words = 0 words = 0
allmem = False allmem = False
so = smtopts() so = smtopts()