How to Fuzz Smart Contracts Using Echidna Liquity V2 Governance

Brief Recap of Liquity v2 governance contract Before jumping into fuzzing suite, let’s briefly recap how Liquity v2’s governance contract works. Liquity v2 is a decentralized protocol where users can borrow BOLD (a USD-pegged stablecoin) by depositin...