valvalu / bayc-invariant-testing Goto Github PK
View Code? Open in Web Editor NEWThis project forked from karmacoma-eth/bayc-invariant-testing
Uses dapptools to find that the max supply invariant can be violated by the contract owner
License: The Unlicense