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.