Merge pull request #317 from crytic/special_case_echidna_properties

ignore naming convention restriction on echidna_ and crytic_ functions

slither/detectors/naming_convention/naming_convention.py

@@ -10,6 +10,7 @@ class NamingConvention(AbstractDetector):
     Exceptions:
     - Allow constant variables name/symbol/decimals to be lowercase (ERC20)
     - Allow '_' at the beggining of the mixed_case match for private variables and unused parameters
+    - Ignore echidna properties (functions with names starting 'echidna_' or 'crytic_'
     """
 
     ARGUMENT = 'naming-convention'
@@ -97,6 +98,8 @@ def _detect(self):
                 if not self.is_mixed_case(func.name):
                     if func.visibility in ['internal', 'private'] and self.is_mixed_case_with_underscore(func.name):
                         continue
+                    if func.name.startswith("echidna_") or func.name.startswith("crytic_"):
+                        continue
                     info = "Function '{}' ({}) is not in mixedCase\n"
                     info = info.format(func.canonical_name, func.source_mapping_str)