Update echidna.py

4 years ago · f2fc1feec5
parent e63ca6c3df
commit f2fc1feec5
1 changed files with 1 additions and 0 deletions
--- a/slither/printers/guidance/echidna.py
+++ b/slither/printers/guidance/echidna.py
@ -34,6 +34,7 @@ from slither.slithir.variables import Constant


 def _get_name(f: Union[Function, Variable]) -> str:
+    # Return the name of the function or variable
    if isinstance(f, Function):
        if f.is_fallback or f.is_receive:
            return "()"