Normalise line endings using a .gitattributes file. Unfortunately

this required that this commit globally modify most files. If you
want to use git blame to see the real author of a line use the
``-w`` flag so that whitespace changes are ignored.

1 files changed, 44 insertions, 44 deletions

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;
+}