Extract multiple assert in a single function

crytic · Oct 24, 2024 · 537ee27 · 537ee27
1 parent 1bbc13b
commit 537ee27
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/slither/printers/guidance/echidna.py b/slither/printers/guidance/echidna.py
@@ -145,7 +145,6 @@ def _extract_assert(contracts: List[Contract]) -> Dict[str, Dict[str, List[Dict]
                 if ir.function == SolidityFunction("assert(bool)") and ir.node.source_mapping:
                     func_name = _get_name(f)
                     functions_using_assert[func_name].append(ir.node.source_mapping.to_json())
-                    break
         if functions_using_assert:
             ret[contract.name] = functions_using_assert
     return ret