diff options
| author | Camille Mougey <commial@gmail.com> | 2018-10-06 16:43:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-06 16:43:55 +0200 |
| commit | 369371ca24c5f4fd6670cb36b80fbd29650de7d0 (patch) | |
| tree | 7b9b319f3f365cb8b71b5dcf1f07f13559798513 /miasm2/ir/translators/z3_ir.py | |
| parent | 75b389f70e7cc6640cbfb62268ba89f8985be1ed (diff) | |
| parent | 9c4c548e372311f6d685647b3cfed35e1579ad54 (diff) | |
| download | miasm-369371ca24c5f4fd6670cb36b80fbd29650de7d0.tar.gz miasm-369371ca24c5f4fd6670cb36b80fbd29650de7d0.zip | |
Merge pull request #855 from serpilliere/exprassign
Exprassign
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index a481acd7..97a0397a 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -239,7 +239,7 @@ class TranslatorZ3(Translator): return res - def from_ExprAff(self, expr): + def from_ExprAssign(self, expr): src = self.from_expr(expr.src) dst = self.from_expr(expr.dst) return (src == dst) |