Struct miri::clock::Clock

pub struct Clock {
    kind: ClockKind,
}

A monotone clock used for Instant simulation.

Fields

kind: ClockKind

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.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes