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

Detect if user code catches P# exceptions

Open akashlal opened this issue 7 years ago • 0 comments

Specifically, we should detect if the user code is catching ExecutionCacelledException or the ASsertFailure exception.

akashlal avatar Sep 23 '18 08:09 akashlal