From ce1c2de044c91624370411e23acab13b0381949b Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Wed, 15 Jul 2009 21:03:41 +0000
Subject: Initial set of files.

---
 Test/test2/CutBackEdge.bpl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Test/test2/CutBackEdge.bpl

(limited to 'Test/test2/CutBackEdge.bpl')

diff --git a/Test/test2/CutBackEdge.bpl b/Test/test2/CutBackEdge.bpl
new file mode 100644
index 00000000..934974aa
--- /dev/null
+++ b/Test/test2/CutBackEdge.bpl
@@ -0,0 +1,14 @@
+procedure Test()
+{
+  var i: int;
+
+  entry:
+    i := 0;
+    goto block850;
+
+  block850:
+    assert i == 0;
+    havoc i;
+    goto block850;
+
+}
-- 
cgit v1.2.3