diff options
| -rw-r--r-- | test/expression/simplifications.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 2088fc7c..df7fdceb 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -254,6 +254,8 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)), ExprInt(uint32(0x1L)), 0, 32), (ExprInt(uint32(0x0L)), 32, 64))) ), + (ExprCompose([(a[:16], 0, 16), (b[:16], 16, 32)])[8:32], + ExprCompose([(a[8:16], 0, 8), (b[:16], 8, 24)])), ] |