diff --git a/src/lib/EDSL.mli b/src/lib/EDSL.mli index f79b628..6b247eb 100644 --- a/src/lib/EDSL.mli +++ b/src/lib/EDSL.mli @@ -166,7 +166,7 @@ val with_redirections: - then, ["printf"] outputs to [1]. Invalid cases, like redirecting to a file-descriptor has not been - openned, lead to undefined behavior; see + opened, lead to undefined behavior; see {{:https://github.com/hammerlab/genspio/issues/41}issue #41}. If the shell is POSIX, the whole expression [with_redirections expr redirs] exits and its return value is in [[1, 125]]; if the shell is diff --git a/src/test/main.ml b/src/test/main.ml index c0005ba..641ad46 100644 --- a/src/test/main.ml +++ b/src/test/main.ml @@ -769,7 +769,7 @@ let tests = write_output ~return_value:tmp2#path ( with_redirections (exec ["printf"; "%s"; recognizable]) [ - to_fd (int 4) (int 3); + to_fd (int 4) (int 3); (* This fails because &3 is not open! *) to_file (int 1) tmp1#path; ] );