Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/
Using Echidna to test a smart contract library