Source code for claripy.errors [docs]class ClaripyError(Exception): pass [docs]class UnsatError(ClaripyError): pass [docs]class ClaripyFrontendError(ClaripyError): pass [docs]class ClaripySerializationError(ClaripyError): pass [docs]class BackendError(ClaripyError): pass [docs]class BackendUnsupportedError(BackendError): pass [docs]class ClaripyZ3Error(ClaripyError): pass [docs]class ClaripyBackendVSAError(BackendError): pass [docs]class MissingSolverError(ClaripyError): pass [docs]class ClaripySolverInterruptError(ClaripyError): pass # # AST errors # [docs]class ClaripyASTError(ClaripyError): pass [docs]class ClaripyBalancerError(ClaripyASTError): pass [docs]class ClaripyBalancerUnsatError(ClaripyBalancerError): pass [docs]class ClaripyTypeError(ClaripyASTError): pass [docs]class ClaripyValueError(ClaripyASTError): pass [docs]class ClaripySizeError(ClaripyASTError): pass [docs]class ClaripyOperationError(ClaripyASTError): pass [docs]class ClaripyReplacementError(ClaripyASTError): pass [docs]class ClaripyRecursionError(ClaripyOperationError): pass [docs]class ClaripyZeroDivisionError(ClaripyOperationError, ZeroDivisionError): pass