Add old liveness debugging example

git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@284 88e30042-7354-0410-bf5e-e4d69759226d
maurer · Jul 8, 2010 · 5275a3b · 5275a3b
1 parent 83bfde6
commit 5275a3b
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/examples/debug/live.olf b/examples/debug/live.olf
@@ -0,0 +1,12 @@
+r0 : !use M X ↠ !live M X.
+r1 : ¬def M X • !succ M N • !live N X ↠ !live M X.
+
+{-
+ 0 : x <- 1
+ 1 : y <- 2
+ 2 : z <- x + y
+
+ 3 : ret z
+-}
+
+%trace * !def 0 x • !def 1 y • !def 2 z • !use 3 z • !use 2 x • !use 2 y • !succ 0 1 • !succ 1 2 • !succ 2 3.