diff options
| author | Camille Mougey <commial@gmail.com> | 2019-02-08 22:01:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-08 22:01:03 +0100 |
| commit | 650b8ae195e920d361d8d99017e30dce37304192 (patch) | |
| tree | 3da2c45d5962dfc84979084086bc3c7c4cccde75 | |
| parent | d0d3bff00c915da3bfac37419afba4af110675b5 (diff) | |
| parent | 46c75498f76e7798b4e3789b983421279f16b262 (diff) | |
| download | miasm-650b8ae195e920d361d8d99017e30dce37304192.tar.gz miasm-650b8ae195e920d361d8d99017e30dce37304192.zip | |
Merge pull request #965 from serpilliere/fix_z3_cmp_op
Translator/z3: fix tipo in z3 cmp operators
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 2572ac74..204ee976 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -219,7 +219,7 @@ class TranslatorZ3(Translator): ) elif expr.op == "<s": res = z3.If( - z3.SLT(args[0], args[1]), + args[0] < args[1], z3.BitVecVal(1, 1), z3.BitVecVal(0, 1) ) @@ -231,7 +231,7 @@ class TranslatorZ3(Translator): ) elif expr.op == "<=s": res = z3.If( - z3.SLE(args[0], args[1]), + args[0] <= args[1], z3.BitVecVal(1, 1), z3.BitVecVal(0, 1) ) |