microsoft/coyote

support best effort replay for concurrency fuzzing

pdeligia opened this issue · 1 comments

Right now concurrency fuzzing does not provide replay. This is general is tricky due to real timing involved. We can still though keep track of chosen delays and attempt to replay.

Duplicate with #309.