TerminalProcessOracle

constructor(command: List<String>, workingDirectory: Path? = null, timeout: Duration = Duration.ofSeconds(10))

command

executable and arguments used to start the oracle.

workingDirectory

process working directory, or null to inherit it.

timeout

maximum wall-clock duration of one replay.