Details
-
Type:
Bug
-
Status: Resolved
-
Priority:
P3
-
Resolution: Fixed
-
Affects Version/s: repo-panama
-
Fix Version/s: None
-
Component/s: tools
-
Labels:
-
Subcomponent:
Description
Exceptions thrown from non-void upcalls are currently not handled