diff options
Diffstat (limited to 'miasm2/ir/translators/smt2.py')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index eda24bb7..81d86798 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -198,13 +198,13 @@ class TranslatorSMT2(Translator): res = bvmul(res, arg) elif expr.op == "/": res = bvsdiv(res, arg) - elif expr.op == "idiv": + elif expr.op == "sdiv": res = bvsdiv(res, arg) elif expr.op == "udiv": res = bvudiv(res, arg) elif expr.op == "%": res = bvsmod(res, arg) - elif expr.op == "imod": + elif expr.op == "smod": res = bvsmod(res, arg) elif expr.op == "umod": res = bvurem(res, arg) |