Python library for contracts testing
Project description
ycontract
Python library for contracts testing.
This library provides functions for precondition(prev_contract
) and postcondition(ret_contract
).
How to install
$ pip install ycontract
Example
Example files are here(test files)
Main example is
from ycontract import prev_contract, ret_contract
@prev_contract(lambda a, b: a * b > 0)
def add(a, b, c, d=2, e=3):
return a + b + c + d + e
@ret_contract(lambda res: res > 0)
def sub(a, b):
return a - b
And if you want to be disable,
ycontract.SYS_STATE.disable()
LICENSES
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
ycontract-0.1.4.tar.gz
(6.7 kB
view hashes)
Built Distribution
Close
Hashes for ycontract-0.1.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7a351cf48be949d7c03e391fbb33c30938b8314aef6b9266bb838007df6dbefb |
|
MD5 | d0068d559add3502d77f591f0d8787c5 |
|
BLAKE2b-256 | 77e00e760a30148f12c18996eb79f04c46caa6d1edd3b56e8fbddb808cac7119 |