search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

OnEventHandledAsync #460

Closed akashlal closed 5 years ago

akashlal commented 5 years ago

Added a Machine callback OnEventUnhandledAsync that is invoked when the machine dequeues an event that cannot be handled by it.