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: Apr 18 2024 at 22:02 UTC