pub fn time(nondet: NonDet) -> TimeAvailable on crate feature
tokio only.Expand description
Reads the wall clock at each tick of the slice, as a bounded Singleton of
[tokio::time::Instant] (the value depends on when the tick executes, hence the
non-determinism guard). Since it carries no collection, it cannot be the first use
of a sliced! block (the tick’s location comes from a collection).