pub type TerminalOutcomeUnwind = Box<dyn FnOnce(TerminalOutcome) -> bool>;Expand description
How a run whose backend can unwind the parked guest ends it with a
TerminalOutcome, in place of the scheduler exiting the process: it asks
the backend to tear the guest down and finish the run (the ptrace owner
publishes a termination, as --timeout does), and returns whether that
request became the run’s cause. Called at most once, from the scheduler
task with no scheduler lock held, after the outcome’s report is printed; it
must not block.
Aliased Type§
pub struct TerminalOutcomeUnwind(/* private fields */);