White space deltas. (I'm not sure why git thought I had changes in th…

…ese files, but I suspect it has to do with line endings.)
stephenfreund · Aug 17, 2016 · ba4f9fa · ba4f9fa
1 parent 12d1543
commit ba4f9fa
Show file tree

Hide file tree

Showing 6 changed files with 23 additions and 23 deletions.
diff --git a/Test/floats/float10.bpl.expect b/Test/floats/float10.bpl.expect
@@ -1,5 +1,5 @@
-float10.bpl(17,2): Error BP5001: This assertion might not hold.
-Execution trace:
-    float10.bpl(16,2): anon0
-
-Boogie program verifier finished with 1 verified, 1 error
+float10.bpl(17,2): Error BP5001: This assertion might not hold.
+Execution trace:
+    float10.bpl(16,2): anon0
+
+Boogie program verifier finished with 1 verified, 1 error
diff --git a/Test/floats/float11.bpl.expect b/Test/floats/float11.bpl.expect
@@ -1,7 +1,7 @@
-float11.bpl(21,2): Error BP5001: This assertion might not hold.
-Execution trace:
-    float11.bpl(12,7): anon0
-    float11.bpl(16,2): anon3_LoopHead
-    float11.bpl(16,2): anon3_LoopDone
-
-Boogie program verifier finished with 0 verified, 1 error
+float11.bpl(21,2): Error BP5001: This assertion might not hold.
+Execution trace:
+    float11.bpl(12,7): anon0
+    float11.bpl(16,2): anon3_LoopHead
+    float11.bpl(16,2): anon3_LoopDone
+
+Boogie program verifier finished with 0 verified, 1 error
diff --git a/Test/floats/float6.bpl.expect b/Test/floats/float6.bpl.expect
@@ -1,2 +1,2 @@
-
-Boogie program verifier finished with 1 verified, 0 errors
+
+Boogie program verifier finished with 1 verified, 0 errors
diff --git a/Test/floats/float7.bpl.expect b/Test/floats/float7.bpl.expect
@@ -1,2 +1,2 @@
-
-Boogie program verifier finished with 1 verified, 0 errors
+
+Boogie program verifier finished with 1 verified, 0 errors
diff --git a/Test/floats/float8.bpl.expect b/Test/floats/float8.bpl.expect
@@ -1,5 +1,5 @@
-float8.bpl(12,2): Error BP5001: This assertion might not hold.
-Execution trace:
-    float8.bpl(8,4): anon0
-
-Boogie program verifier finished with 0 verified, 1 error
+float8.bpl(12,2): Error BP5001: This assertion might not hold.
+Execution trace:
+    float8.bpl(8,4): anon0
+
+Boogie program verifier finished with 0 verified, 1 error
diff --git a/Test/floats/float9.bpl.expect b/Test/floats/float9.bpl.expect
@@ -1,2 +1,2 @@
-
-Boogie program verifier finished with 1 verified, 0 errors
+
+Boogie program verifier finished with 1 verified, 0 errors
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1,2 @@

		Boogie program verifier finished with 1 verified, 0 errors

		Boogie program verifier finished with 1 verified, 0 errors