Struct miri::Clock

pub struct Clock { /* private fields */ }

A monotone clock used for Instant simulation.

Implementations

impl Clock

pub fn new(communicate: bool) -> Self

Create a new clock based on the availability of communication with the host.

pub fn tick(&self)

Let the time pass for a small interval.

pub fn sleep(&self, duration: Duration)

Sleep for the desired duration.

pub fn anchor(&self) -> Instant

Return the anchor instant, to convert between monotone instants and durations relative to the anchor.

pub fn now(&self) -> Instant

Trait Implementations

impl Debug for Clock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.