Merge branch 'dev-unused-visitors' into dev-more-types

crytic · Feb 20, 2023 · 947c18f · 947c18f
2 parents e8bf225 + 8582f9c
commit 947c18f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 320 deletions.
diff --git a/slither/visitors/expression/find_push.py b/slither/visitors/expression/find_push.py
diff --git a/slither/visitors/expression/left_value.py b/slither/visitors/expression/left_value.py
diff --git a/slither/visitors/expression/right_value.py b/slither/visitors/expression/right_value.py