Open montyly opened 4 years ago
echidna + manticore: https://github.com/tokencard/contracts/tree/master/tools
The blogpost on library testing was directly added in the list of advanced tutorials
@ggrieco-tob : some of these repo are not listed in https://github.com/crytic/echidna#property-testing-suites. Do we want to add them?