diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2015-03-06 06:50:49 +0100 |
|---|---|---|
| committer | serpilliere <serpilliere@users.noreply.github.com> | 2015-03-06 06:50:49 +0100 |
| commit | f54b1c0296a07456c9ceb03fe013e6eca97a0e1e (patch) | |
| tree | 06820090f697992ff4e1526e130b7da02c698df1 | |
| parent | 8f3f666795a8f7c2292092987529036b513250d0 (diff) | |
| parent | 2d7bea1fa01fde589ffaacdf8b75e3226e37ceb1 (diff) | |
| download | miasm-f54b1c0296a07456c9ceb03fe013e6eca97a0e1e.tar.gz miasm-f54b1c0296a07456c9ceb03fe013e6eca97a0e1e.zip | |
Merge pull request #99 from fmonjalet/translator_z3_cache_fix
TranslatorZ3: now uses its cache (forgotten lines...)
| -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: |