Skip to content

Commit

Permalink
fix: array issue
Browse files Browse the repository at this point in the history
  • Loading branch information
talfao committed Feb 24, 2024
1 parent c65e887 commit 165dccd
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion slither/detectors/oracles/oracle_detector.py
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,8 @@ def checks_performed_out_of_original_function(self, oracle, returned_var):
oracle.oracle_vars = [var]
break
self.vars_in_conditions(oracle)
nodes.extend(oracle.oracle_vars[0].nodes_with_var)
if type(oracle.oracle_vars[0]) == VarInCondition:

Check warning on line 208 in slither/detectors/oracles/oracle_detector.py

View workflow job for this annotation

GitHub Actions / Lint Code Base

C0123: Use isinstance() rather than type() for a typecheck. (unidiomatic-typecheck)
nodes.extend(oracle.oracle_vars[0].nodes_with_var)
i += 1

# Return back original node and function after recursion to let developer know on which line the oracle is used
Expand Down

0 comments on commit 165dccd

Please sign in to comment.