search

p-org / PSharp

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

Exceptions in Machine callbacks #449

Closed akashlal closed 5 years ago

akashlal commented 5 years ago

Exceptions thrown in Machine callbacks OnEventDequeueAsync and OnEventHandledAsync go through OnException (so they can be handled like other exceptions thrown by machines).