You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A recurrent misuse comes from the incorrect usage between slither.contracts, slither.contract_derived , and the functions' getters functions, functions_inherited, functiond_declared , etc...
The tutorial should have best practice on how to use those
Our current API documentation should be improved.
We have many script examples, but it would be nice if we have a tutorial, similar to the manticore and echidna ones.
The tutorial should show the basic usages of the API, including:
The text was updated successfully, but these errors were encountered: