A simple, thin package for property based testing.
PropCheck.jl is in maintenance mode which means that no new features will be added. Bugs that compromise the intended behavior that pop up will continue to be fixed (if sufficiently feasible). For future development of property based testing, as well as better performance, consider using Supposition.jl instead.
This package is now intended to serve as an example for how a Haskell project deeply relying on lazy evaluation and type classes could be ported to Julia (thought it may not necessarily be a good example for that ;) ).
This package is registered with General, so to install do
pkg> add PropCheckPropCheck.jl currently supports Julia versions 1.6 and up. CI runs on nightly and is expected to pass, but no guarantee about stability on unreleased versions of Julia is given.
Please check out the documentation to learn how you can use PropCheck.jl to fuzz your code.