1
class VerifyError(Exception):
5
class ArgumentTypeError(VerifyError):
8
class EntryConditionsError(VerifyError):
11
class ReturnTypeError(VerifyError):
14
class ExitConditionsError(VerifyError):
18
class InvalidTypeError(VerifyError):
21
class NoGeneratorError(VerifyError):
24
class InternalError(VerifyError):
27
class ObjectModifiedError(VerifyError):