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

diff --git a/Test/bitvectors/bv5.bpl b/Test/bitvectors/bv5.bpl
index 73dff1ad..048bc315 100644
--- a/Test/bitvectors/bv5.bpl
+++ b/Test/bitvectors/bv5.bpl
@@ -1,13 +1,13 @@
-// RUN: %boogie  "%s" > "%t"

-// RUN: %diff "%s.expect" "%t"

-

-procedure P() returns () {

-  var m : <a>[a]int;

-

-  m[23bv5] := 17;

-  m[21bv5] := 19;

-  m[21bv6] := -3;

-

-  assert m[23bv5] == 17;

-  assert m[21bv6] == 3; // should not be provable

-}

+// RUN: %boogie  "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+procedure P() returns () {
+  var m : <a>[a]int;
+
+  m[23bv5] := 17;
+  m[21bv5] := 19;
+  m[21bv6] := -3;
+
+  assert m[23bv5] == 17;
+  assert m[21bv6] == 3; // should not be provable
+}