Comment Comment by kriper in C# it's basically automatic https://github.com/microsoft/coyote/ parent kriper 2 years ago
