diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-04-10 10:38:40 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-04-10 10:38:40 +0200 |
| commit | 0d789c5a3b66e26a9a354ecce85a47836a242e97 (patch) | |
| tree | 213d36ddbe5901ae8de2d22de2df193c87cf9fe0 /backends/smt2/smtbmc.py | |
| parent | 7c06cb615745fce4490c1d5b9dcf48d40fa00445 (diff) | |
| download | yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.gz yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.bz2 yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.zip | |
Support custom PROGRAM_PREFIX
Diffstat (limited to 'backends/smt2/smtbmc.py')
| -rw-r--r-- | backends/smt2/smtbmc.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index 630464419..5e6f43277 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -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> |