with-stdin-from

(with-stdin-from <file> <DSL>)

Redirect the input from a file.

Example:

(with-stdin-from data.txt
 (run ./tests.exe))