If you use Python and want to infer test strategies from contracts, you might want to check out this library of mine: [1]. There are also plugins for IDEs (Pyc

If you use Python and want to infer test strategies from contracts, you might want to check out this library of mine: [1]. There are also plugins for IDEs (Pycharm, VS Code and vim), which can be quite helpful during the development. [1]: http://github.com/mristin/icontract-hypothesis http://github.com/mristin/icontract-hypothesis