__init__.py

Go to the documentation of this file.

"""Verification ladder (paper Section VII.A, cases V1-V6). Each case is also exercised
by a pytest test in ``tests/`` so it runs as a CI regression test."""