diff options
Diffstat (limited to 'test/ir/translators/z3_ir.py')
| -rw-r--r-- | test/ir/translators/z3_ir.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/ir/translators/z3_ir.py b/test/ir/translators/z3_ir.py index 0251c2fe..83744786 100644 --- a/test/ir/translators/z3_ir.py +++ b/test/ir/translators/z3_ir.py @@ -60,8 +60,8 @@ z3_e = z3.BitVec('x', 32) assert equiv(ez3, z3_e) # -------------------------------------------------------------------------- -four = ExprInt32(4) -five = ExprInt32(5) +four = ExprInt(4, 32) +five = ExprInt(5, 32) e2 = (e + five + four) * five ez3 = Translator.to_language('z3').from_expr(e2) @@ -71,9 +71,9 @@ z3_e2 = (z3_e + z3_five + z3_four) * z3_five assert equiv(ez3, z3_e2) # -------------------------------------------------------------------------- -emem = ExprMem(ExprInt32(0xdeadbeef), size=32) -emem2 = ExprMem(ExprInt32(0xfee1dead), size=32) -e3 = (emem + e) * ExprInt32(2) * emem2 +emem = ExprMem(ExprInt(0xdeadbeef, 32), size=32) +emem2 = ExprMem(ExprInt(0xfee1dead, 32), size=32) +e3 = (emem + e) * ExprInt(2, 32) * emem2 ez3 = Translator.to_language('z3').from_expr(e3) mem = Z3Mem() @@ -122,8 +122,8 @@ assert equiv(ez3, z3_e5) # -------------------------------------------------------------------------- # Parity -seven = ExprInt32(7) -one0seven = ExprInt32(0x107) +seven = ExprInt(7, 32) +one0seven = ExprInt(0x107, 32) for miasm_int, res in [(five, 1), (four, 0), (seven, 0), (one0seven, 0)]: e6 = ExprOp('parity', miasm_int) ez3 = Translator.to_language('z3').from_expr(e6) |