Function run_with_output_backend_timeout 

pub fn run_with_output_backend_timeout(
    command: Command,
    config: DetConfig,
    print_summary: bool,
    print_summary_to_json_file: &Option<PathBuf>,
    backend: Backend,
    timeout: Option<Duration>,
) -> Result<Output, Error>

run_with_output_backend with a hermit-enforced wall-clock bound.

See run_with_backend_timeout; the teardown semantics are identical. On ptrace it needs no particular stack from the calling thread; see run.