Show how to use slither-flat with Echidna #5
Description
slither-flat can be useful, in particular through the conversion of external to public. We need a walkthrough example.
{{ message }}
slither-flat can be useful, in particular through the conversion of external to public. We need a walkthrough example.