QuickCheck.jl
A Julia implementation of Koen Claessen and John Hughes' QuickCheck property-based randomized tester.
Documentation
Documentation can be found on Read The Docs.
QuickCheck specification-based testing for Julia
A Julia implementation of Koen Claessen and John Hughes' QuickCheck property-based randomized tester.
Documentation can be found on Read The Docs.