diff options
| author | Kaj Tuomi <kaj.tuomi@siru.fi> | 2016-09-02 13:09:09 +0300 |
|---|---|---|
| committer | Kaj Tuomi <kaj.tuomi@siru.fi> | 2016-09-02 13:09:09 +0300 |
| commit | d88cd0ae7f8761637722d5d2c6cc1c8bac762ce3 (patch) | |
| tree | 064d7503192682d03380efa7b5ebb8eb184230be /backends/smt2/smtio.py | |
| parent | c4ba1965fd4300cb7de48cde996bb068d951967d (diff) | |
| download | yosys-d88cd0ae7f8761637722d5d2c6cc1c8bac762ce3.tar.gz yosys-d88cd0ae7f8761637722d5d2c6cc1c8bac762ce3.tar.bz2 yosys-d88cd0ae7f8761637722d5d2c6cc1c8bac762ce3.zip | |
More PEP 8 fixes.
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 8f8dec026..56ae8dcfe 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -22,7 +22,8 @@ import subprocess from select import select from time import time -class smtmodinfo: + +class SmtModInfo: def __init__(self): self.inputs = set() self.outputs = set() @@ -34,6 +35,7 @@ class smtmodinfo: self.asserts = dict() self.anyconsts = dict() + class SmtIo: def __init__(self, solver=None, debug_print=None, debug_file=None, timeinfo=None, opts=None): if opts is not None: @@ -108,7 +110,7 @@ class SmtIo: if fields[1] == "yosys-smt2-module": self.curmod = fields[2] - self.modinfo[self.curmod] = smtmodinfo() + self.modinfo[self.curmod] = SmtModInfo() if fields[1] == "yosys-smt2-cell": self.modinfo[self.curmod].cells[fields[3]] = fields[2] |