diff options
| author | Ajax <commial@gmail.com> | 2017-03-29 15:44:15 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2017-03-30 16:04:40 +0200 |
| commit | f81c3e4b42d0ce487101b8e0802e43b32b261b1d (patch) | |
| tree | 91fcd0b4317685bc4685acbb17affc3ec0f78afc /test/ir/translators/smt2.py | |
| parent | fd76e24c84825072ce18cab33fbcc496bd4d8d65 (diff) | |
| download | miasm-f81c3e4b42d0ce487101b8e0802e43b32b261b1d.tar.gz miasm-f81c3e4b42d0ce487101b8e0802e43b32b261b1d.zip | |
Replace ExprInt[num](x) -> ExprInt(x, num)
Diffstat (limited to 'test/ir/translators/smt2.py')
| -rw-r--r-- | test/ir/translators/smt2.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/ir/translators/smt2.py b/test/ir/translators/smt2.py index 97877a3b..838b0bc5 100644 --- a/test/ir/translators/smt2.py +++ b/test/ir/translators/smt2.py @@ -14,10 +14,10 @@ left = ExprCond(e + ExprOp('parity', a), ExprMem(a * a, 64), ExprMem(a, 64)) -cond = ExprSlice(ExprSlice(ExprSlice(a, 0, 32) + b, 0, 16) * c, 0, 8) << ExprOp('>>>', d, ExprInt(uint8(0x5L))) +cond = ExprSlice(ExprSlice(ExprSlice(a, 0, 32) + b, 0, 16) * c, 0, 8) << ExprOp('>>>', d, ExprInt(0x5L, 8)) right = ExprCond(cond, - a + ExprInt(uint64(0x64L)), - ExprInt(uint64(0x16L))) + a + ExprInt(0x64L, 64), + ExprInt(0x16L, 64)) e = ExprAff(left, right) |