From b580098a1f91ca5ddfcf4a2a75e197dfe8289eb9 Mon Sep 17 00:00:00 2001 From: Josselin Date: Sun, 7 Mar 2021 18:34:53 +0100 Subject: [PATCH] Minor --- slither/printers/guidance/echidna.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/slither/printers/guidance/echidna.py b/slither/printers/guidance/echidna.py index 459e3b3d6..584487b5e 100644 --- a/slither/printers/guidance/echidna.py +++ b/slither/printers/guidance/echidna.py @@ -39,8 +39,7 @@ def _get_name(f: Union[Function, Variable]) -> str: if f.is_fallback or f.is_receive: return "()" return f.solidity_signature - else: - return f.function_name + return f.function_name def _extract_payable(slither: SlitherCore) -> Dict[str, List[str]]: @@ -67,6 +66,7 @@ def _extract_solidity_variable_usage( ret[contract.name] = functions_using_sol_var return ret + def _is_constant(f: Function) -> bool: # pylint: disable=too-many-branches """ Heuristic: