Synchronized methods require special traps which handle extra concurrency exceptions. Currently we do not handle this and in the interest of time we are omitting it. If an exception occurs in a synchronized callback then the verifier will not process that trace as the entry and exits for callins will not match.
Synchronized methods require special traps which handle extra concurrency exceptions. Currently we do not handle this and in the interest of time we are omitting it. If an exception occurs in a synchronized callback then the verifier will not process that trace as the entry and exits for callins will not match.