diff --git a/packages/driver-timer/src/index.js b/packages/driver-timer/src/index.js index 06329a9..c231247 100644 --- a/packages/driver-timer/src/index.js +++ b/packages/driver-timer/src/index.js @@ -23,6 +23,14 @@ export { PeriodicTick, TimeLaterThan }; message type PeriodicTick(intervalMS); assertion type TimeLaterThan(deadlineMS); +export function sleep(ms, cb) { + react { + stop on asserted TimeLaterThan(+(new Date()) + ms) { + cb(); + } + } +} + spawn named 'driver-timer/PeriodicTick' { during Observe(PeriodicTick($intervalMS)) spawn named ('PeriodicTick('+intervalMS+')') { let handle = null;