Module miri::clock

Structs

Clock

A monotone clock used for Instant simulation.

Instant

Enums

ClockKind 🔒

InstantKind 🔒

Constants

NANOSECONDS_PER_BASIC_BLOCK 🔒

When using a virtual clock, this defines how many nanoseconds we pretend are passing for each basic block.