diff options
Diffstat (limited to 'example/expression/manip_expression6.py')
| -rw-r--r-- | example/expression/manip_expression6.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/example/expression/manip_expression6.py b/example/expression/manip_expression6.py index 079faf76..65d43f04 100644 --- a/example/expression/manip_expression6.py +++ b/example/expression/manip_expression6.py @@ -97,11 +97,16 @@ to_test = [(ExprInt32(5)+c+a+b-a+ExprInt32(1)-ExprInt32(5)), ExprMem(a)[:32], ExprMem(a)[:16], + + ExprCond(ExprInt32(1), a, b), + ExprCond(ExprInt32(0), b, a), + + ] for e in to_test: print "#"*80 print e - print e.visit(expr_simp) + print expr_simp(e) |