miniblog.

← Back to all posts
Jul 24, 2015 at 07:15
Quickcheck is great for finding interesting bugs, but it's a little sad when your tests randomly go green inappropriately.

Related Posts

Aug 30, 2019 at 00:09
I am delighted to announce propcheck, a property-based testing library for #emacs lisp! https://github.com/Wilfred/propcheck If you like quickcheck or hypothesis, you should like this too!
GitHub - Wilfred/propcheck: Quickcheck/hypothesis style testing for elisp
GitHub - Wilfred/propcheck: Quickcheck/hypothesis style testing for elisp
Quickcheck/hypothesis style testing for elisp. Contribute to Wilfred/propcheck development by creating an account on GitHub.
Feb 1, 2018 at 23:45
Going beyond QuickCheck: using an SMT solver (based on Rosette) to intelligently generate test inputs that are diverse and hit interesting code paths! https://youtu.be/Br16rvT_C00
Jul 18, 2017 at 07:26
Great article on the design of Hypothesis, and its advantages over a purely type-driven, QuickCheck style approach:
Hypothesis