From 7e3f9c56df70c7a3265a9b4f72072448166b0821 Mon Sep 17 00:00:00 2001 From: Josselin Feist Date: Wed, 2 Oct 2024 12:21:04 +0200 Subject: [PATCH] Update slither/core/cfg/node.py Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- slither/core/cfg/node.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/slither/core/cfg/node.py b/slither/core/cfg/node.py index 1d976af45..fc178db4a 100644 --- a/slither/core/cfg/node.py +++ b/slither/core/cfg/node.py @@ -518,7 +518,8 @@ class Node(SourceMapping): # pylint: disable=too-many-public-methods bool: True if the node has a require or assert call """ return any( - ir.function.name in ["require(bool)", "require(bool,string)", "require(bool,error)", "assert(bool)"] + ir.function.name + in ["require(bool)", "require(bool,string)", "require(bool,error)", "assert(bool)"] for ir in self.internal_calls )