diff options
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 033c6053..f3f9a6bf 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -190,7 +190,9 @@ class TranslatorZ3(Translator): if expr in cls._cache: return cls._cache[expr] else: - return super(TranslatorZ3, cls).from_expr(expr) + ret = super(TranslatorZ3, cls).from_expr(expr) + cls._cache[expr] = ret + return ret finally: # Clean cache and Z3Mem if this call is the root call if del_cache: |