mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 21:27:00 +00:00
Code Activity

Support custom PROGRAM_PREFIX

Browse source
This commit is contained in:
Miodrag Milanovic 2020-04-10 10:38:40 +02:00
parent 7c06cb6157
commit 0d789c5a3b
10 changed files with 81 additions and 71 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/smt2/smtbmc.py
View file

@ -53,8 +53,7 @@ so = SmtOpts()
def usage():
print("""
yosys-smtbmc [options] <yosys_smt2_output>
print(os.path.basename(sys.argv[0]) + """ [options] <yosys_smt2_output>
-t <num_steps>
-t <skip_steps>:<num_steps>