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 /test/ir/translators/smt2.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 'test/ir/translators/smt2.py')
| -rw-r--r-- | test/ir/translators/smt2.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/ir/translators/smt2.py b/test/ir/translators/smt2.py index 838b0bc5..2b5c8df3 100644 --- a/test/ir/translators/smt2.py +++ b/test/ir/translators/smt2.py @@ -19,7 +19,7 @@ right = ExprCond(cond, a + ExprInt(0x64L, 64), ExprInt(0x16L, 64)) -e = ExprAff(left, right) +e = ExprAssign(left, right) # initialise translators t_z3 = TranslatorZ3() |