# \[ANN\] PropCheck.jl

**URL:** <https://discourse.julialang.org/t/ann-propcheck-jl/101481>\
**Category:** Package Announcements\
**Created:** [July 11, 2023, 12:39pm UTC](https://discourse.julialang.org/t/ann-propcheck-jl/101481 "2023-07-11T12:39:21Z")\
**Posts on this page:** 1\
**Showing post:** 21

<div class="post-metadata">

**Author:** ![Krastanov](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/krastanov/32/6817_2.png) [@Krastanov](https://discourse.julialang.org/u/Krastanov)\
**Post date:** [July 17, 2023, 4:49am UTC](https://discourse.julialang.org/t/ann-propcheck-jl/101481/21 "2023-07-17T04:49:53Z")

</div>

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?

---

_[View the full topic](https://discourse.julialang.org/t/ann-propcheck-jl/101481)._