The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.
Provides classes that the binary rewriter can use to handle a contract failure.
|| Obsolete. Provides methods that the binary rewriter uses to handle contract failures.