class Protocol::PostconditionCheckError

This exception is raised if a postcondition check failed (the yielded block returned a non-true value) in a protocol description.