miniblog.

← Back to all posts
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

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
Aug 29, 2015 at 22:40
Blogged: Building an optimising BF compiler: http://t.co/NaR1Fp4OgE (LLVM, Rust and Quickcheck, oh my!)