From 537ee273c28096c1147a3ed31109bab0dcdc7c1e Mon Sep 17 00:00:00 2001
From: Simone <simone.monica@trailofbits.com>
Date: Thu, 24 Oct 2024 13:24:55 +0200
Subject: [PATCH] Extract multiple assert in a single function

---
 slither/printers/guidance/echidna.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/slither/printers/guidance/echidna.py b/slither/printers/guidance/echidna.py
index 07ca3427f..48e40a90f 100644
--- 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