NobleBlocks

From the research index

The paper comes from the research index. It wasn’t submitted here.

Hypothesis: Property-Based Testing for Python

David R. MacIver, Zac Hatfield-Dodds, Many Other Contributors

Zenodo (CERN European Organization for Nuclear Research)8 Sep 2021Open access

Abstract

This release makes stateful testing more likely to tell you if you do something unexpected and unsupported: The "return_value" health check now applies to "rule()" and "initialize()" rules, if they don't have "target" bundles, as well as "invariant()". Using a "consumes()" bundle as a "target" is deprecated, and will be an error in a future version. If existing code triggers these new checks, check for related bugs and misunderstandings - these patterns never had any effect. The canonical version of these notes (with links) is on readthedocs.

Identifiers

Discussion

Citations

Topics

Details

Published
8 Sep 2021
Publisher
European Organization for Nuclear Research
Language
EN

More

Suggest a correction or report