Randomized Property Based Testing for Julia
Please have a look at the documentation.
- Better documentation
- Support for special cases
- More informative message for failing tests
- Serialization of problematic cases
- Shrinkage of failing test cases
- More generators
- Parallel testing
- ...
- Randomized Property Test: inspiration for this package.
- QuickCheck: OG random property based testing.
- JLSO: used for containing serialized test objects.