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

diff --git a/Test/bitvectors/bv1.bpl b/Test/bitvectors/bv1.bpl
index 2edc5037..7a86bff7 100644
--- a/Test/bitvectors/bv1.bpl
+++ b/Test/bitvectors/bv1.bpl
@@ -1,19 +1,19 @@
-// RUN: %boogie -proverWarnings:1 "%s" > "%t"

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

-procedure foo(x : bv32) returns(r : bv32)

-{

-  var q : bv64;

-

-  block1:

-  	r := 17bv32;

-	assert r == r;

-    assert r[32:0] == r[32:0];

-    assert 0bv2 ++ r[12:0] == 0bv2 ++ r[12:0];

-    r := 17bv10 ++ 17bv22;

-  	// r := 17;

-    q := 420000000000bv64;

-    q := 8444249301319680000bv64;

-    q := 16444249301319680000bv64;

-  return;

-}

-

+// RUN: %boogie -proverWarnings:1 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure foo(x : bv32) returns(r : bv32)
+{
+  var q : bv64;
+
+  block1:
+  	r := 17bv32;
+	assert r == r;
+    assert r[32:0] == r[32:0];
+    assert 0bv2 ++ r[12:0] == 0bv2 ++ r[12:0];
+    r := 17bv10 ++ 17bv22;
+  	// r := 17;
+    q := 420000000000bv64;
+    q := 8444249301319680000bv64;
+    q := 16444249301319680000bv64;
+  return;
+}
+