Property based testing (QuickCheck) examples based on fast-check - View it on GitHub