From 0d789c5a3b66e26a9a354ecce85a47836a242e97 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 10 Apr 2020 10:38:40 +0200
Subject: Support custom PROGRAM_PREFIX

---
 backends/smt2/smtbmc.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'backends/smt2/smtbmc.py')

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>
-- 
cgit v1.2.3