PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Async OnException

Open akashlal opened this issue 6 years ago • 1 comments

Currently the OnException callback isn't async. It cannot be because it is called in a when clause, as the thrown exception is being propagated up the call stack. An alternative solution is to have another (async) callback that is invoked when the user decide to handle the exception. This is prototyped on the branch AsyncOnException (needs more tests).

akashlal avatar Dec 17 '18 06:12 akashlal

Alternative is to use throw instead of "throw ex". Page 1 and Page 2

akashlal avatar Jul 26 '19 04:07 akashlal