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/aitest1/Linear8.bpl | 88 ++++++++++++++++++++++++------------------------
 1 file changed, 44 insertions(+), 44 deletions(-)

(limited to 'Test/aitest1/Linear8.bpl')

diff --git a/Test/aitest1/Linear8.bpl b/Test/aitest1/Linear8.bpl
index cb86b72f..1b13423d 100644
--- a/Test/aitest1/Linear8.bpl
+++ b/Test/aitest1/Linear8.bpl
@@ -1,44 +1,44 @@
-// RUN: %boogie -infer:j -instrumentInfer:e -printInstrumented -noVerify "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-
-procedure foo () returns ()
-{
-  var i: int;
-  var j: int;
-  var n: int;
-
-A:  // true
-  n := 0;
-  goto B;
-
-B:  // n = 0
-  j := 0;
-  goto C;
-
-C:  // n = 0 AND j = 0
-  i := j + 1;
-  goto D;
-
-D:  // n = 0 AND j = 0 AND i = j + 1
-  i := i + 1;
-  goto E;
-
-E:  // n = 0 AND j = 0 AND i = j + 2
-  i := i + 1;
-  goto F;
-
-F:  // n = 0 AND j = 0 AND i = j + 3
-  i := i + 1;
-  goto G;
-
-G:  // n = 0 AND j = 0 AND i = j + 4
-  i := i + 1;
-  goto H;
-
-H:  // n = 0 AND j = 0 AND i = j + 1
-  j := j + 1;
-  goto I;
-
-I:  // n = 0 AND j = 1 AND i = j + 4
-  return;
-}
+// RUN: %boogie -infer:j -instrumentInfer:e -printInstrumented -noVerify "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+procedure foo () returns ()
+{
+  var i: int;
+  var j: int;
+  var n: int;
+
+A:  // true
+  n := 0;
+  goto B;
+
+B:  // n = 0
+  j := 0;
+  goto C;
+
+C:  // n = 0 AND j = 0
+  i := j + 1;
+  goto D;
+
+D:  // n = 0 AND j = 0 AND i = j + 1
+  i := i + 1;
+  goto E;
+
+E:  // n = 0 AND j = 0 AND i = j + 2
+  i := i + 1;
+  goto F;
+
+F:  // n = 0 AND j = 0 AND i = j + 3
+  i := i + 1;
+  goto G;
+
+G:  // n = 0 AND j = 0 AND i = j + 4
+  i := i + 1;
+  goto H;
+
+H:  // n = 0 AND j = 0 AND i = j + 1
+  j := j + 1;
+  goto I;
+
+I:  // n = 0 AND j = 1 AND i = j + 4
+  return;
+}
-- 
cgit v1.2.3