diff options
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 5940d9dd..d908ac5a 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -167,6 +167,8 @@ class TranslatorZ3(Translator): res = res >> arg elif expr.op == "a<<": res = res << arg + elif expr.op == "idiv": + res = res / arg else: raise NotImplementedError("Unsupported OP yet: %s" % expr.op) elif expr.op == 'parity': |