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, 31 insertions, 31 deletions

diff --git a/Test/aitest1/Linear9.bpl b/Test/aitest1/Linear9.bpl
index 86687f05..72bf0d8c 100644
--- a/Test/aitest1/Linear9.bpl
+++ b/Test/aitest1/Linear9.bpl
@@ -1,31 +1,31 @@
-// 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;

-entry:

-  assume n >= 4;

-  i := 0;

-  j := i + 1;

-  // n >= 4 AND i = 0 AND j = i+1

-  goto exit, loop0;

-

-loop0:

-  // n >= 4 AND i >= 0 AND j = i+1

-  assume j <= n;

-  goto loop1;

-loop1:

-  // n >= 4 AND i >= 0 AND j = i+1 AND j <= n

-  i := i + 1;

-  goto loop2;

-loop2:

-  j := j + 1;

-  // n >= 4 AND i >= 1 AND j = i+1 AND j <= n+1

-  goto loop0, exit;

-

-exit:

-  // n >= 4 AND i >= 0 AND j = i+1 AND j <= n+1

-  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;
+entry:
+  assume n >= 4;
+  i := 0;
+  j := i + 1;
+  // n >= 4 AND i = 0 AND j = i+1
+  goto exit, loop0;
+
+loop0:
+  // n >= 4 AND i >= 0 AND j = i+1
+  assume j <= n;
+  goto loop1;
+loop1:
+  // n >= 4 AND i >= 0 AND j = i+1 AND j <= n
+  i := i + 1;
+  goto loop2;
+loop2:
+  j := j + 1;
+  // n >= 4 AND i >= 1 AND j = i+1 AND j <= n+1
+  goto loop0, exit;
+
+exit:
+  // n >= 4 AND i >= 0 AND j = i+1 AND j <= n+1
+  return;
+}