From 0b30f6441d37f3c2109cba34f070555bf31582e8 Mon Sep 17 00:00:00 2001 From: JB Cayrou Date: Wed, 29 Jun 2016 10:57:11 +0200 Subject: Add ** (pow) operator --- test/expression/simplifications.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index acef0904..1b0c3d6c 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -144,6 +144,8 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ExprOp('*', a, b, c, ExprInt32(0x12))), (ExprOp('*', -a, -b, -c, ExprInt32(0x12)), - ExprOp('*', a, b, c, ExprInt32(0x12))), + (ExprOp('**', ExprInt32(2), ExprInt32(8)), ExprInt32(0x100)), + (ExprInt32(2)**ExprInt32(8), ExprInt32(256)), (a | ExprInt32(0xffffffff), ExprInt32(0xffffffff)), (ExprCond(a, ExprInt32(1), ExprInt32(2)) * ExprInt32(4), -- cgit 1.4.1