tests/lean/stdio.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            print stdout

            
            print stderr

            
            line 4


            > stdout1.txt

            
            line 1

            
            my error

            
            line 3


            > stdout2.txt

            
            line 2
	print stdout
	print stderr
	line 4

	> stdout1.txt
	line 1
	my error
	line 3

	> stdout2.txt
	line 2