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/symdiff/foo.bpl b/Test/symdiff/foo.bpl
index 85d025d0..9d13ecd1 100644
--- a/Test/symdiff/foo.bpl
+++ b/Test/symdiff/foo.bpl
@@ -1,19 +1,19 @@
-// RUN: %boogie -z3multipleErrors -errorTrace:0 "%s" > "%t"

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

-procedure Foo(x:int) 

-{

-  var ok:bool;

-  

-  ok := true;  

-

-  if (x == 1) {

-     ok := false;

-  } else if (x == 2) {

-     ok := false;

-  } else if (x == 3) {

-     ok := false;

-  }

-    

-  assert ok;

-

-}

+// RUN: %boogie -z3multipleErrors -errorTrace:0 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure Foo(x:int) 
+{
+  var ok:bool;
+  
+  ok := true;  
+
+  if (x == 1) {
+     ok := false;
+  } else if (x == 2) {
+     ok := false;
+  } else if (x == 3) {
+     ok := false;
+  }
+    
+  assert ok;
+
+}