fast-check is a Property based testing framework for JavaScript/TypeScript.
A deep-dive into the current implementation of fast-check, including its shrinking, is available on its official documentation: https://github.com/dubzzz/fast-check/blob/master/documentation/HowItWorks.md
You need node >= 10 and yarn.
cd pbt-libraries/fast-check
yarn
yarn test
./generate_reports.sh