Auto merge of #2506 - pvdrz:a-really-bad-clock, r=saethlin

Make `sleep` work with isolation enabled

Implement a virtual monotone clock that can be used to track time while isolation is enabled. This virtual clock keeps an internal nanoseconds counter that will be increased by a fixed amount at the end of every basic block.

When a process sleeps, this clock will return immediately and increase the counter by the interval the process was supposed to sleep. Making miri execution faster than native code :trollface:.

cc `@RalfJung` `@saethlin` `@JakobDegen`

0 files changed, 0 insertions, 0 deletions