## errors.SverifyError


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


Usage

``` python
errors.SverifyError()
```


([Unsupported](sql.Unsupported.md#sverify.sql.Unsupported)), a proof that fails ([VerificationError](errors.VerificationError.md#sverify.errors.VerificationError)), data that breaks a condition ([PreconditionError](errors.PreconditionError.md#sverify.errors.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.