potc.testing.property ===================== .. currentmodule:: potc.testing.property .. automodule:: potc.testing.property provement ------------------- .. autofunction:: provement