lean4-htt/tests/lean/stdio.lean.expected.out
Sebastian Ullrich 1b0ffbb74d feat: make std IO streams settable
Co-authored-by: Simon Hudon <simon.hudon@gmail.com>
2020-08-28 10:04:32 -07:00

13 lines
95 B
Text

print stdout
print stderr
line 4
> stdout1.txt
line 1
my error
line 3
> stdout2.txt
line 2