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 | 2262 | May 14, 2024 | |
| [ANN] RandomizedPropertyTests.jl | 3 | 546 | May 26, 2020 | |
| Recommended Quickcheck library | 1 | 397 | March 25, 2022 | |
| ANN: Automated Property-Based Testing with Checkers.jl v0.0.1 | 4 | 2381 | July 14, 2017 | |
| Trying to figure out what testing etc libraries I should be using for julia | 2 | 1565 | March 6, 2021 |