Stream: Miscellaneous

Topic: A practical use of quickchick


view this post on Zulip Bas Spitters (Oct 07 2020 at 14:18):

https://medium.com/blockchain-academy-network/preventing-an-8m-attack-on-ethereums-bzx-defi-platform-with-property-based-testing-12234d9479b7
@Maxime Dénès @Catalin Hritcu @Zoe Paraskevopoulou might enjoy this. Thanks for your work on QuickChick on any case!


Last updated: Aug 19 2022 at 19:03 UTC