PSharp
PSharp copied to clipboard
Graceful failure
When the production runtime fails, any machine doing a Receive will hang forever. Can we cleanly terminate all machines, like we do in the test runtime?