Minor

crytic · Sep 29, 2022 · 104a479 · 104a479
1 parent bad8334
commit 104a479
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 8 deletions.
diff --git a/slither/tools/upgradeability/__main__.py b/slither/tools/upgradeability/__main__.py
@@ -166,7 +166,7 @@ def _checks_on_contract(
         for d in detectors
         if (not d.REQUIRE_PROXY and not d.REQUIRE_CONTRACT_V2)
     ]
-    return _run_checks(detectors_), len(detectors)
+    return _run_checks(detectors_), len(detectors_)
 
 
 def _checks_on_contract_update(
@@ -175,14 +175,14 @@ def _checks_on_contract_update(
     detectors_ = [
         d(logger, contract_v1, contract_v2=contract_v2) for d in detectors if d.REQUIRE_CONTRACT_V2
     ]
-    return _run_checks(detectors_), len(detectors)
+    return _run_checks(detectors_), len(detectors_)
 
 
 def _checks_on_contract_and_proxy(
     detectors: List[Type[AbstractCheck]], contract: Contract, proxy: Contract
 ) -> Tuple[List[Dict], int]:
     detectors_ = [d(logger, contract, proxy=proxy) for d in detectors if d.REQUIRE_PROXY]
-    return _run_checks(detectors_), len(detectors)
+    return _run_checks(detectors_), len(detectors_)
 
 
 # endregion
@@ -279,7 +279,7 @@ def main() -> None:
             number_detectors_run += number_detectors
 
             # If there is a V2, we run the contract-only check on the V2
-            detectors_results, _ = _checks_on_contract(detectors, v2_contract)
+            detectors_results, number_detectors = _checks_on_contract(detectors, v2_contract)
             json_results["detectors"] += detectors_results
             number_detectors_run += number_detectors
 

diff --git a/tests/check-upgradeability/test_10.txt b/tests/check-upgradeability/test_10.txt
@@ -10,4 +10,4 @@ Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#missing-
 INFO:Slither:
 Initializable contract not found, the contract does not follow a standard initalization schema.
 Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#initializable-is-missing
-INFO:Slither:4 findings, 18 detectors run
+INFO:Slither:4 findings, 21 detectors run
diff --git a/tests/check-upgradeability/test_2.txt b/tests/check-upgradeability/test_2.txt
@@ -4,4 +4,4 @@ Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#initiali
 INFO:Slither:
 Initializable contract not found, the contract does not follow a standard initalization schema.
 Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#initializable-is-missing
-INFO:Slither:2 findings, 22 detectors run
+INFO:Slither:2 findings, 25 detectors run
diff --git a/tests/check-upgradeability/test_3.txt b/tests/check-upgradeability/test_3.txt
@@ -20,4 +20,4 @@ Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#extra-va
 INFO:Slither:
 Initializable contract not found, the contract does not follow a standard initalization schema.
 Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#initializable-is-missing
-INFO:Slither:6 findings, 22 detectors run
+INFO:Slither:6 findings, 25 detectors run
diff --git a/tests/check-upgradeability/test_4.txt b/tests/check-upgradeability/test_4.txt
@@ -17,4 +17,4 @@ Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#extra-va
 INFO:Slither:
 Initializable contract not found, the contract does not follow a standard initalization schema.
 Reference: https://github.com/crytic/slither/wiki/Upgradeability-Checks#initializable-is-missing
-INFO:Slither:5 findings, 22 detectors run
+INFO:Slither:5 findings, 25 detectors run