Fix tests

Certora · Dec 29, 2024 · 1efbbef · 1efbbef
1 parent 1af90e1
commit 1efbbef
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/Quorum/tests/checks/__init__.py b/Quorum/tests/checks/__init__.py
diff --git a/Quorum/tests/checks/test_checks.py → Quorum/tests/test_checks.py b/Quorum/tests/checks/test_checks.py → Quorum/tests/test_checks.py
@@ -36,7 +36,7 @@ def test_global_variables(source_codes: list[SourceCode], tmp_output_path: Path)
 
 
 @pytest.mark.parametrize('source_codes', ['ETH/0xAD6c03BF78A3Ee799b86De5aCE32Bb116eD24637'], indirect=True)
-def test_price_feed(source_codes: list[SourceCode], tmp_output_path: Path):
+def test_price_feed_check(source_codes: list[SourceCode], tmp_output_path: Path):
     price_feed_check = Checks.PriceFeedCheck('Aave', Chain.ETH, '', source_codes, [
         ChainLinkAPI()])
     price_feed_check.verify_price_feed()

diff --git a/Quorum/tests/checks/test_price_feed.py → Quorum/tests/test_price_feed.py b/Quorum/tests/checks/test_price_feed.py → Quorum/tests/test_price_feed.py
@@ -17,6 +17,7 @@ def test_price_feed(source_codes: list[SourceCode], tmp_output_path: Path):
 
     assert sorted([p.name for p in price_feed_check.check_folder.iterdir()]) == ['AaveV2Ethereum']
 
+
 def test_source_code_clean():
     code = """
 // SPDX-License-Identifier: MIT
@@ -58,6 +59,7 @@ def test_source_code_clean():
 import {IProposalGenericExecutor} from 'aave-helpers/interfaces/IProposalGenericExecutor.sol';
 import {AaveV2Ethereum, AaveV2EthereumAssets, ILendingPoolConfigurator} from 'aave-address-book/AaveV2Ethereum.sol';
 
+
 contract AaveV2Ethereum_ReserveFactorUpdatesMidJuly_20240711 is IProposalGenericExecutor {
   ILendingPoolConfigurator public constant POOL_CONFIGURATOR =
     ILendingPoolConfigurator(AaveV2Ethereum.POOL_CONFIGURATOR);
@@ -78,4 +80,5 @@ def test_source_code_clean():
     POOL_CONFIGURATOR.setReserveFactor(AaveV2EthereumAssets.WETH_UNDERLYING, WETH_RF);
   }
 }"""
+    # Strip leading/trailing whitespace for accurate comparison
     assert cleaned.strip() == expected.strip()