public static Task Delay(TimeSpan delay, CancellationToken cancellationToken) => CoyoteRuntime.IsExecutionControlled ? CoyoteRuntime.Current.ScheduleDelay(delay, cancellationToken) : Task.Delay(FuzzingProvider.CreateDelay(delay), cancellationToken);
public static Task Delay(int millisecondsDelay, CancellationToken cancellationToken) => CoyoteRuntime.IsExecutionControlled ? CoyoteRuntime.Current.ScheduleDelay(TimeSpan.FromMilliseconds(millisecondsDelay), cancellationToken) : Task.Delay(FuzzingProvider.CreateDelay(millisecondsDelay), cancellationToken);
public static Task Delay(TimeSpan delay) => CoyoteRuntime.IsExecutionControlled ? CoyoteRuntime.Current.ScheduleDelay(delay, default) : Task.Delay(FuzzingProvider.CreateDelay(delay));
public static Task Delay(int millisecondsDelay) => CoyoteRuntime.IsExecutionControlled ? CoyoteRuntime.Current.ScheduleDelay(TimeSpan.FromMilliseconds(millisecondsDelay), default) : Task.Delay(FuzzingProvider.CreateDelay(millisecondsDelay));