ycontract 0.1.3

Python library for contracts testing

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 add(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

Apache 2.0