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

diff --git a/Test/civl/Program2.bpl b/Test/civl/Program2.bpl
index 75c83c67..16b20cf2 100644
--- a/Test/civl/Program2.bpl
+++ b/Test/civl/Program2.bpl
@@ -1,37 +1,37 @@
-// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory "%s" > "%t"

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

-var {:layer 0,1} x:int;

-

-procedure {:yields} {:layer 1} yield_x(n: int)

-requires {:layer 1} x >= n; 

-ensures {:layer 1} x >= n; 

-{

-    yield;

-    assert {:layer 1} x >= n;

-}

-

-procedure {:yields} {:layer 1} p() 

-requires {:layer 1} x >= 5; 

-ensures {:layer 1} x >= 8; 

-{ 

-    call yield_x(5);

-    call Incr(1); 

-    call yield_x(6);

-    call Incr(1); 

-    call yield_x(7);

-    call Incr(1); 

-    call yield_x(8);

-}

-

-procedure {:yields} {:layer 1} q() 

-{ 

-    yield;

-    call Incr(3); 

-    yield;

-}

-

-procedure {:yields} {:layer 0,1} Incr(val: int);

-ensures {:atomic}

-|{A:

-  x := x + val; return true;

-}|;

+// RUN: %boogie -noinfer -typeEncoding:m -useArrayTheory "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+var {:layer 0,1} x:int;
+
+procedure {:yields} {:layer 1} yield_x(n: int)
+requires {:layer 1} x >= n; 
+ensures {:layer 1} x >= n; 
+{
+    yield;
+    assert {:layer 1} x >= n;
+}
+
+procedure {:yields} {:layer 1} p() 
+requires {:layer 1} x >= 5; 
+ensures {:layer 1} x >= 8; 
+{ 
+    call yield_x(5);
+    call Incr(1); 
+    call yield_x(6);
+    call Incr(1); 
+    call yield_x(7);
+    call Incr(1); 
+    call yield_x(8);
+}
+
+procedure {:yields} {:layer 1} q() 
+{ 
+    yield;
+    call Incr(3); 
+    yield;
+}
+
+procedure {:yields} {:layer 0,1} Incr(val: int);
+ensures {:atomic}
+|{A:
+  x := x + val; return true;
+}|;