diff options
| author | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
| commit | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch) | |
| tree | 7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/specification/lux/world/shell.lux | |
| parent | 6f1bf11af05bd03183fee7721ac99eca826ca041 (diff) | |
Began work on C++ back-end.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/world/shell.lux | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index eea350b90..f0248af56 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -70,7 +70,11 @@ (with_expansions [<shell_coverage> (these [/.Command /.Argument])] (def .public (spec shell) (-> (/.Shell Async) Test) - (<| (_.for [/.Shell /.Process]) + (<| (_.for [/.Shell + /.execute + + /.Process + /.read /.fail /.write /.destroy /.await]) (do [! random.monad] [message (random.alphabetic 10) seconds (of ! each (|>> (n.% 5) (n.+ 5)) random.nat)] |