Extract multiple assert in a single function

4 weeks ago · 537ee273c2
parent 1bbc13b308
commit 537ee273c2
1 changed files with 0 additions and 1 deletions
--- 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