PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard
verified publisher icon p-org

Runtime.Stop should halt execution

Open akashlal opened this issue 8 years ago • 0 comments

It should return only when all machines have finished their current action (and are idle or stuck at dequeue)

akashlal avatar May 02 '17 04:05 akashlal