diff options
| author | Florent Monjalet <florent.monjalet@gmail.com> | 2015-03-24 00:16:03 +0100 |
|---|---|---|
| committer | Florent Monjalet <florent.monjalet@gmail.com> | 2015-03-24 00:16:03 +0100 |
| commit | 001472b1cd3c89ebf60a86d29ae7d843d5e453db (patch) | |
| tree | 9b6fcd2430721c1918edd6f25d15af89eb08d8a2 /test/ir/translators/z3_ir.py | |
| parent | a8ece9f5c56334c37caafb9eddcd38081d6b4464 (diff) | |
| download | miasm-001472b1cd3c89ebf60a86d29ae7d843d5e453db.tar.gz miasm-001472b1cd3c89ebf60a86d29ae7d843d5e453db.zip | |
TranslatorZ3: Fixed parity semantic
Diffstat (limited to '')
| -rw-r--r-- | test/ir/translators/z3_ir.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/ir/translators/z3_ir.py b/test/ir/translators/z3_ir.py index 99d77c5a..5f8f3e45 100644 --- a/test/ir/translators/z3_ir.py +++ b/test/ir/translators/z3_ir.py @@ -121,7 +121,9 @@ assert equiv(ez3, z3_e5) # -------------------------------------------------------------------------- # Parity -for miasm_int, res in [(five, 1), (four, 0)]: +seven = ExprInt32(7) +one0seven = ExprInt32(0x107) +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) z3_e6 = z3.BitVecVal(res, 1) |