From e21b147ddbaf49bf6cc44df2046d3af4235622c9 Mon Sep 17 00:00:00 2001
From: schaef <unknown>
Date: Wed, 13 Oct 2010 10:07:55 +0000
Subject: Bug fixes and speed up for doomed program point analysis

---
 Test/doomed/doomed.bpl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'Test/doomed')

diff --git a/Test/doomed/doomed.bpl b/Test/doomed/doomed.bpl
index 741a54c5..9029383d 100644
--- a/Test/doomed/doomed.bpl
+++ b/Test/doomed/doomed.bpl
@@ -36,6 +36,22 @@ procedure evilloop(x:int)
   }
 }
 
+procedure evilnested(x:int)
+{
+	 var i : int;
+	 var j : int;
+	 i:=x-1;
+	 j:=1;
+	 while (i>=0) {
+		while (j<=i) {
+			assert j<x;
+			j := j+1;
+		}
+		i := i - 1;
+	 }
+}
+
+
 procedure evilpath(x:int)
 {
   var y : int;
-- 
cgit v1.2.3