diff options
Diffstat (limited to 'test/expression/simplifications.py')
| -rw-r--r-- | test/expression/simplifications.py | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index b4f5b783..e4c3f2e9 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -301,18 +301,6 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)), (expr_cmps(ExprInt(-10, 32), ExprInt(-5, 32)), ExprInt(0, 1)), - (ExprOp("<<<c_rez", i1, i0, i0), - i1), - (ExprOp("<<<c_rez", i1, i1, i0), - ExprInt(2, 32)), - (ExprOp("<<<c_rez", i1, i1, i1), - ExprInt(3, 32)), - (ExprOp(">>>c_rez", icustom, i0, i0), - icustom), - (ExprOp(">>>c_rez", icustom, i1, i0), - ExprInt(0x91A2B3C, 32)), - (ExprOp(">>>c_rez", icustom, i1, i1), - ExprInt(0x891A2B3C, 32)), (ExprOp("idiv", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], ExprInt(0xc6, 8)), (ExprOp("imod", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8], |