errors.SverifyError

The base of every exception sverify raises on purpose: a refusal

Usage

Source

errors.SverifyError()

(Unsupported), a proof that fails (VerificationError), data that breaks a condition (PreconditionError), a route, a sink, an export. except sverify.errors.SverifyError catches them all; each also keeps the built-in base it had (ValueError, RuntimeError), so existing handlers still catch it. Misuse of the API (a wrong argument) raises TypeError or ValueError as usual.