<reponame>nathzi1505/DNNV
from dnnv.verifiers.common.errors import VerifierError, VerifierTranslatorError


class ERANError(VerifierError):
    pass


class ERANTranslatorError(VerifierTranslatorError):
    pass

from dnnv.verifiers.common.errors import VerifierError, VerifierTranslatorError


class ERANError(VerifierError):
    pass


class ERANTranslatorError(VerifierTranslatorError):
    pass