Indentation and PEP 8 fixes. CamelCase and white space after semicolon.

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d7f6fff242ad731a61b00058d3c6756a52b27f6c..225ca01ebd4d07bef8bcfa88b64f39693b083ed0 100644 (file)
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -19,7 +19,7 @@
 
 import os, sys, getopt, re
 ##yosys-sys-path##
-from smtio import smtio, smtopts, mkvcd
+from smtio import SmtIo, SmtOpts, MkVcd
 from collections import defaultdict
 
 skip_steps = 0
@@ -35,7 +35,7 @@ dumpall = False
 assume_skipped = None
 final_only = False
 topmod = None
-so = smtopts()
+so = SmtOpts()
 
 
 def usage():
@@ -274,7 +274,7 @@ def get_constr_expr(db, state, final=False, getvalues=False):
     return "(and %s)" % " ".join(expr_list)
 
 
-smt = smtio(opts=so)
+smt = SmtIo(opts=so)
 
 print("%s Solver: %s" % (smt.timestamp(), so.solver))
 smt.setup("QF_AUFBV")
@@ -296,7 +296,7 @@ def write_vcd_trace(steps_start, steps_stop, index):
     print("%s Writing trace to VCD file: %s" % (smt.timestamp(), filename))
 
     with open(filename, "w") as vcd_file:
-        vcd = mkvcd(vcd_file)
+        vcd = MkVcd(vcd_file)
         path_list = list()
 
         for netpath in sorted(smt.hiernets(topmod)):

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 8db283bf7503907c0e7417a87ce1df8b48cb585c..8f8dec0262eb42e313e0f0a088466bae7111487b 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -34,7 +34,7 @@ class smtmodinfo:
         self.asserts = dict()
         self.anyconsts = dict()
 
-class smtio:
+class SmtIo:
     def __init__(self, solver=None, debug_print=None, debug_file=None, timeinfo=None, opts=None):
         if opts is not None:
             self.solver = opts.solver
@@ -293,12 +293,12 @@ class smtio:
             return v[2:]
         if v.startswith("#x"):
             hex_dict = {
-            "0":"0000", "1":"0001", "2":"0010", "3":"0011",
-            "4":"0100", "5":"0101", "6":"0110", "7":"0111",
-            "8":"1000", "9":"1001", "A":"1010", "B":"1011",
-            "C":"1100", "D":"1101", "E":"1110", "F":"1111",
-            "a":"1010", "b":"1011", "c":"1100", "d":"1101",
-            "e":"1110", "f":"1111"}
+                "0": "0000", "1": "0001", "2": "0010", "3": "0011",
+                "4": "0100", "5": "0101", "6": "0110", "7": "0111",
+                "8": "1000", "9": "1001", "A": "1010", "B": "1011",
+                "C": "1100", "D": "1101", "E": "1110", "F": "1111",
+                "a": "1010", "b": "1011", "c": "1100", "d": "1101",
+                "e": "1110", "f": "1111"}
             return "".join(hex_dict.get(x) for x in v[2:])
         assert False
 
@@ -395,7 +395,7 @@ class smtio:
         self.p.wait()
 
 
-class smtopts:
+class SmtOpts:
     def __init__(self):
         self.shortopts = "s:v"
         self.longopts = ["no-progress", "dump-smt2="]
@@ -434,7 +434,7 @@ class smtopts:
 """
 
 
-class mkvcd:
+class MkVcd:
     def __init__(self, f):
         self.f = f
         self.t = -1