Revert "fix: test files"

This reverts commit 95f951bdf2.
2020-01-25 16:22:56 +01:00 · 2020-01-25 16:22:56 +01:00 · e82add884f
commit e82add884f
parent 88fe0de284
8 changed files with 9 additions and 0 deletions
--- a/tests/lean/abst.lean.expected.out
+++ b/tests/lean/abst.lean.expected.out
@ -5,3 +5,4 @@ f a (f b) (f a)
 f #0 a (f #0)
 f #0 y (f #0)
 f #1 #0 (f #1)
+
--- a/tests/lean/binsearch.lean.expected.out
+++ b/tests/lean/binsearch.lean.expected.out
@ -19,3 +19,4 @@
 >> 17 ==> none
 >> 18 ==> none
 >> 19 ==> none
+
--- a/tests/lean/bytearray.lean.expected.out
+++ b/tests/lean/bytearray.lean.expected.out
@ -3,3 +3,4 @@
 [1, 20, 30, 4]
 [1, 20, 3, 4]
 4
+
--- a/tests/lean/ctor_layout.lean.expected.out
+++ b/tests/lean/ctor_layout.lean.expected.out
@ -10,3 +10,4 @@ obj@1
 ---
 obj@0
 ◾
+
--- a/tests/lean/inst.lean.expected.out
+++ b/tests/lean/inst.lean.expected.out
@ -5,3 +5,4 @@ f a (f b) a
 f (f b) a (f b)
 f a #0 a
 f a #0 a
+
--- a/tests/lean/ref1.lean.expected.out
+++ b/tests/lean/ref1.lean.expected.out
@ -18,3 +18,4 @@
 [7]: 14
 [8]: 16
 [9]: 18
+
--- a/tests/lean/stdio.lean.expected.out
+++ b/tests/lean/stdio.lean.expected.out
@ -1,4 +1,5 @@
 print stdout
+
 print stderr
 line 4

@ -9,3 +10,4 @@ line 3

 > stdout2.txt
 line 2
+
--- a/tests/lean/zipper.lean.expected.out
+++ b/tests/lean/zipper.lean.expected.out
@ -1 +1,2 @@
 [10, 0, 11, 13, 20, 0, 22, 0, 40, 0, 11]
+