Task.Delay does not work with Microsoft.Coyote
I have a legacy project and I want to test it using Coyote.
I need a delay between two operations, Coyote ignores it.
How to make this delay?
I have a legacy project and I want to test it using Coyote.
I need a delay between two operations, Coyote ignores it.
How to make this delay?