Hypothesis: Property-Based Testing for Python
Published in Zenodo (CERN European Organization for Nuclear Research) • Sep 6, 2021
NobleIDNI1P18W44R09S19
Authors:,,
MacIver, David R.
Hatfield-Dodds, Zac
Many Other Contributors
Abstract
This release teaches "from_type()" a neat trick: when resolving an "typing.Annotated" type, if one of the annotations is a strategy object we use that as the inferred strategy. For example: PositiveInt = Annotated[int, st.integers(min_value=1)] If there are multiple strategies, we use the last outer...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!