# Recommended Quickcheck library

**URL:** https://discourse.julialang.org/t/recommended-quickcheck-library/78475
**Category:** General Usage
**Tags:** question, package
**Created:** [March 25, 2022, 5:15pm UTC](https://discourse.julialang.org/t/recommended-quickcheck-library/78475 "2022-03-25T17:15:04Z")
**Posts on this page:** 2
**Page:** 1

<div class="post-metadata">

### Author: ![danielw2904](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/danielw2904/32/10890_2.png) [@danielw2904](https://discourse.julialang.org/u/danielw2904)
#### Post date: [March 25, 2022, 5:15pm UTC](https://discourse.julialang.org/t/recommended-quickcheck-library/78475/1 "2022-03-25T17:15:04Z")

</div>

Hi,  
is there a recommended library similary to [Haskel’s QuickCheck](https://hackage.haskell.org/package/QuickCheck) that is still maintained?  
I have found [QuickCheck.jl](https://github.com/pao/QuickCheck.jl) and [RandomizedPropertyTest.jl](https://gitlab.com/quf/randomizedpropertytest.jl) but both seem abandoned. Any other recommendations?

Thanks!

---

<div class="post-metadata">

### Author: ![Sukera](https://avatars.discourse-cdn.com/v4/letter/s/ce7236/32.png) [@Sukera](https://discourse.julialang.org/u/Sukera)
#### Post date: [March 25, 2022, 6:15pm UTC](https://discourse.julialang.org/t/recommended-quickcheck-library/78475/2 "2022-03-25T18:15:48Z")

</div>

The property based testing landscape in julia isn’t that mature yet, as far as I know. Those projects I know of are more or less very basic implementations of the core idea of quickcheck, i.e. the fuzzy test generating part. Shrinking test cases is kind of tough 🤷‍♂️

If you don’t mind non-production ready in-development software, I’ve been working on and off on [PropCheck.jl](https://github.com/Seelengrab/PropCheck.jl) (shrinking included! But you probably need to define generators and shrinkers for your custom object, since autogeneration of those hasn’t been a focus yet and extracting invariants from constructors is challenging to say the least). I wouldn’t consider it production ready yet, since the UX just isn’t there yet and I’m sure there are many inefficiencies I haven’t run into yet, but I’ve been using it for my personal projects. The API also isn’t final, since I’m the only user so far and don’t know if the interface is understandable/usable, but I’d love to get some feedback! I also have a more recent version on my local repo, which I should push to github again - possibly tomorrow, if I find the time.
