Fix merge

crytic · Oct 13, 2023 · dea0483 · dea0483
1 parent 3faf1bf
commit dea0483
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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():