And a related question: I see one of the value propositions of PropCheck is that it “shrinks” the counterexamples is finds by traversing the tree of generated examples (somehow). I can take most of this on faith, but I still have trouble understanding how shrinking is measured. What is being minimized when shrinking? What is the figure of merit?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ANN] Supposition.jl | 20 | 2359 | May 14, 2024 | |
| Trying to figure out what testing etc libraries I should be using for julia | 2 | 1638 | March 6, 2021 | |
| Recommended Quickcheck library | 1 | 412 | March 25, 2022 | |
| [ANN] ShowLint | 22 | 1791 | July 31, 2021 | |
| ANN: Automated Property-Based Testing with Checkers.jl v0.0.1 | 4 | 2418 | July 14, 2017 |