diff options
Diffstat (limited to 'backends')
-rw-r--r-- | backends/smt2/smtio.py | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 56ae8dcfe..dad63e567 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -23,6 +23,16 @@ from select import select from time import time +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" +} + + class SmtModInfo: def __init__(self): self.inputs = set() @@ -294,13 +304,6 @@ class SmtIo: if v.startswith("#b"): 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"} return "".join(hex_dict.get(x) for x in v[2:]) assert False |