From dea0483e82599e088680f72cd468f7e363057cf2 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Fri, 13 Oct 2023 11:32:38 +0200 Subject: [PATCH] Fix merge --- slither/printers/guidance/echidna.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/slither/printers/guidance/echidna.py b/slither/printers/guidance/echidna.py index 67745c6ba3..7a03329491 100644 --- a/slither/printers/guidance/echidna.py +++ b/slither/printers/guidance/echidna.py @@ -125,18 +125,18 @@ def _extract_constant_functions(contracts) -> Dict[str, List[str]]: return ret -def _extract_assert(slither: SlitherCore) -> Dict[str, Dict[str, List[Dict]]]: +def _extract_assert(contracts: List[Contract]) -> Dict[str, Dict[str, List[Dict]]]: """ Return the list of contract -> function name -> List(source mapping of the assert)) Args: - slither: + contracts: list of contracts Returns: """ ret: Dict[str, Dict[str, List[Dict]]] = {} - for contract in slither.contracts: + for contract in contracts: functions_using_assert: Dict[str, List[Dict]] = defaultdict(list) for f in contract.functions_entry_points: for node in f.all_nodes():