PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Graceful failure

Open akashlal opened this issue 6 years ago • 0 comments

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?

akashlal avatar Jan 24 '19 04:01 akashlal