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
ignore naming convention restriction on echidna_ and crytic_ functions#317
Merged
montyly merged 2 commits intomastercrytic/slither:masterfrom special_case_echidna_propertiescrytic/slither:special_case_echidna_propertiesCopy head branch name to clipboardAug 21, 2019
