diff options
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 364456c6..cc3606e4 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -401,9 +401,9 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (expr_is_signed_greater(ExprInt(-10, 32), ExprInt(-5, 32)), ExprInt(0, 1)), - (ExprOp("idiv", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], + (ExprOp("sdiv", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], ExprInt(0xc6, 8)), - (ExprOp("imod", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], + (ExprOp("smod", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], ExprInt(0x01, 8)), (ExprOp("cnttrailzeros", ExprInt(0x2, 32)), ExprInt(0x1, 32)), |