From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:14:18 -0600
Subject: Merging complete.  Everything looks good *crosses fingers*

---
 Test/doomed/doomed.bpl | 174 ++++++++++++++++++++++++-------------------------
 1 file changed, 87 insertions(+), 87 deletions(-)

(limited to 'Test/doomed/doomed.bpl')

diff --git a/Test/doomed/doomed.bpl b/Test/doomed/doomed.bpl
index 9dea47b7..b211a481 100644
--- a/Test/doomed/doomed.bpl
+++ b/Test/doomed/doomed.bpl
@@ -1,87 +1,87 @@
-// RUN: %boogie -vc:doomed %s
-procedure evilrequires(x:int)
-  requires x>0;
-{
-  var y : int;
-
-  if(x<0) {
-    y := 1;
-  } else {
-    y := 2;
-  }
-}
-
-
-procedure evilbranch(x:int)
-{
-  var y : int;
-
-  if(x<0) {
-    y := 1;
-  } else {
-    y := 2;
-  }
-  assume y!=2;
-  
-  assert x<0; 
-}
-
-
-procedure evilloop(x:int)
-{
-  var y : int;
-  y:=x;
-  while (y<100) {
-     y := y -1;
-  }
-}
-
-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;
-  y:=0;
-  if (x>10) {
-    y:=3;
-  } else {
-    assert y!=0;
-  }
-}
-
-procedure evilcondition(x:int)
-{
-  var y : int;
-  y:=0;
-  if (x!=0) {
-    y:=3;
-  } else {
-    assert x!=0;
-  }
-}
-
-procedure evilensures(x:int) returns  ($result: int)
-  ensures $result>0;
-{
-  var y : int;
-
-  if(x<0) {
-    y := 1;
-  } else {
-    $result:=-1;
-  }
-}
+// RUN: %boogie -vc:doomed %s
+procedure evilrequires(x:int)
+  requires x>0;
+{
+  var y : int;
+
+  if(x<0) {
+    y := 1;
+  } else {
+    y := 2;
+  }
+}
+
+
+procedure evilbranch(x:int)
+{
+  var y : int;
+
+  if(x<0) {
+    y := 1;
+  } else {
+    y := 2;
+  }
+  assume y!=2;
+  
+  assert x<0; 
+}
+
+
+procedure evilloop(x:int)
+{
+  var y : int;
+  y:=x;
+  while (y<100) {
+     y := y -1;
+  }
+}
+
+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;
+  y:=0;
+  if (x>10) {
+    y:=3;
+  } else {
+    assert y!=0;
+  }
+}
+
+procedure evilcondition(x:int)
+{
+  var y : int;
+  y:=0;
+  if (x!=0) {
+    y:=3;
+  } else {
+    assert x!=0;
+  }
+}
+
+procedure evilensures(x:int) returns  ($result: int)
+  ensures $result>0;
+{
+  var y : int;
+
+  if(x<0) {
+    y := 1;
+  } else {
+    $result:=-1;
+  }
+}
-- 
cgit v1.2.3