Update slither/core/cfg/node.py

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
pull/2571/head
Josselin Feist 2 months ago committed by GitHub
parent d1bf27a277
commit 7e3f9c56df
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 3
      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
)

Loading…
Cancel
Save