aboutsummaryrefslogtreecommitdiff
path: root/tests/cases/phiself.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-01-26 16:27:28 -0800
committerAlon Zakai <alonzakai@gmail.com>2012-01-26 16:27:28 -0800
commit06710659a66483b5250486760adbe33515938e5e (patch)
tree8415229dcc24abc261a0c8b9adcfeb3073815d90 /tests/cases/phiself.py
parentd57236a76b95d15f77d98db827a567c40d87f173 (diff)
fix 2 phi bugs with multiple phis and self-refing phis
Diffstat (limited to 'tests/cases/phiself.py')
-rw-r--r--tests/cases/phiself.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/cases/phiself.py b/tests/cases/phiself.py
new file mode 100644
index 00000000..db08f82a
--- /dev/null
+++ b/tests/cases/phiself.py
@@ -0,0 +1,2 @@
+assert '$phi' not in generated, 'we should optimize out self-phis'
+