From a889acb897b742f8d17ebccb0fb0d0a8e622fb70 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 20 Aug 2016 16:07:59 +0200
Subject: Added smtbmc longopt support

---
 backends/smt2/smtbmc.py | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index 75bc51abb..3ad184190 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -42,24 +42,24 @@ yosys-smtbmc [options] <yosys_smt2_output>
         assume asserts in skipped steps in BMC
 
     -S <step_size>
-        proof <step_size> time steps at once
-
-    -c <vcd_filename>
-        write counter-example to this VCD file
-        (hint: use 'write_smt2 -wires' for maximum
-        coverage of signals in generated VCD file)
+        prove <step_size> time steps at once
 
     -i
         instead of BMC run temporal induction
 
     -m <module_name>
         name of the top module
+
+    --dump-vcd <vcd_filename>
+        write counter-example to this VCD file
+        (hint: use 'write_smt2 -wires' for maximum
+        coverage of signals in generated VCD file)
 """ + so.helpmsg())
     sys.exit(1)
 
 
 try:
-    opts, args = getopt.getopt(sys.argv[1:], so.optstr + "t:u:S:c:im:")
+    opts, args = getopt.getopt(sys.argv[1:], so.shortopts + "t:u:S:im:", so.longopts + ["dump-vcd="])
 except:
     usage()
 
@@ -75,7 +75,7 @@ for o, a in opts:
         assume_skipped = int(a)
     elif o == "-S":
         step_size = int(a)
-    elif o == "-c":
+    elif o == "--dump-vcd":
         vcdfile = a
     elif o == "-i":
         tempind = True
-- 
cgit v1.2.3