diff options
Diffstat (limited to 'backends')
-rw-r--r-- | backends/smt2/smtbmc.py | 8 | ||||
-rw-r--r-- | backends/smt2/smtio.py | 18 |
2 files changed, 13 insertions, 13 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index d7f6fff24..225ca01eb 100644 --- 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 8db283bf7..8f8dec026 100644 --- 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 |