Summary: | JustIce Pass3bVerifier Verifies Exception Handlers too often | ||
---|---|---|---|
Product: | BCEL - Now in Jira | Reporter: | Mark Crocker <mcrocker> |
Component: | Main | Assignee: | issues <issues> |
Status: | REOPENED --- | ||
Severity: | enhancement | CC: | ehaase |
Priority: | P5 | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
URL: | http://www.markcrocker.com/~mcrocker/Computer/Purifier/justIceExceptionHandlingIssue.shtml |
Description
Mark Crocker
2003-03-28 21:47:19 UTC
Yes, that might be a tough task that is prone to errors, and will probably not really speed up verification. However, if you'd do the coding and submit a patch, I'll read through it and would be very happy to add it. |