From 948aac9e1eaed04aa8de08e62cfb078d6337e9c9 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 2 Sep 2016 13:46:56 +0200 Subject: [PATCH] Don't re-create hex_dict for each value --- backends/smt2/smtio.py | 17 ++++++++++------- 1 file 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 -- 2.30.2