test: test process exit code

2020-08-30 11:10:29 +02:00 · 2020-08-30 11:10:29 +02:00 · 8ed4d1d7e4
commit 8ed4d1d7e4
parent 1fb1a6f913
2 changed files with 5 additions and 0 deletions
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@ -1,5 +1,9 @@
 open IO.Process

+#eval do
+  child ← spawn { cmd := "sh", args := #["-c", "exit 1"] };
+  child.wait
+
 #eval do
  child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
  child.wait
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@ -1,3 +1,4 @@
+1
 hi!
 0
 "ho!\n"