mristin/icontract-hypothesis
View on GitHub ↗ ★ 92 Python
Combine contracts and automatic testing.
6 mentions on Hacker News by 2 people: 0 stories, 6 comments · first 2021-02-03 · latest 2026-03-17
20082026
-
Parquery/icontract: https://github.com/Parquery/icontract mristin/icontract-hypothesis: https://github.com/mristin/icontract-hypothesis : > The result is a powerful combination that allows you to automatically test your code. Instead of…
comment by westurner · 2026-03-17 · in Comparing Python Type Checkers: Typing Spec Conformance -
…type, value, and invariance constraints specified as precondition and postcondition @decorators: https://github.com/mristin/icontract-hypothesis Nagini and deal-solver attempt to Formally Verify Python code with or without unit tests:…
comment by westurner · 2024-02-18 · in Automated Unit Test Improvement Using Large Language Models at Meta -
…type and value constraints as decorator preconditions in generating tests. icontract-hypothesis: https://github.com/mristin/icontract-hypothesis https://news.ycombinator.com/item?id=38138319
comment by westurner · 2024-02-04 · in Compiling Rust is testing -
…many of the fuzz tests from the additional Design by Contract structure of the source. From https://github.com/mristin/icontract-hypothesis : > icontract-hypothesis combines design-by-contract with automatic testing. > It is an integration…
comment by westurner · 2023-01-01 · in Adding design-by-contract conditions to C++ via a GCC plugin -
…(I'm one of the authors of icontract-hypothesis.) [1] https://github.com/pschanely/CrossHair [2] https://github.com/mristin/icontract-hypothesis
comment by mristin · 2021-06-01 · in Pynguin – Generate Python unit tests automatically -
…plugins for IDEs (Pycharm, VS Code and vim), which can be quite helpful during the development. [1]: http://github.com/mristin/icontract-hypothesis
comment by mristin · 2021-02-03 · in Effective Property-Based Testing