mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
171 B
14 lines
171 B
1 year ago
|
@internal
|
||
|
|
def fa() -> uint256:
|
||
|
|
return 1
|
||
|
|
|
||
|
|
@internal
|
||
|
|
def fb() -> uint256:
|
||
|
|
raise
|
||
|
|
|
||
|
|
@external
|
||
|
|
def foo(x: uint256) -> bool:
|
||
|
|
return x not in [self.fa(), self.fb()]
|
||
|
|
|
||
|
|
|