From b141de67567cb8d7b88980c147491bdb4bfea5fe Mon Sep 17 00:00:00 2001 From: MathisGD Date: Wed, 8 Nov 2023 18:22:54 +0100 Subject: [PATCH 1/2] chore: remove invariants in CI --- foundry.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/foundry.toml b/foundry.toml index d641b9154..045e975d4 100644 --- a/foundry.toml +++ b/foundry.toml @@ -5,7 +5,7 @@ via-ir = true optimizer_runs = 4294967295 [profile.default.invariant] -runs = 8 +runs = 0 depth = 256 fail_on_revert = true From 2d70047c1a4077e28c956aabe035ef1aefdd4378 Mon Sep 17 00:00:00 2001 From: MathisGD Date: Wed, 8 Nov 2023 18:29:21 +0100 Subject: [PATCH 2/2] test: remove skip of some tests --- test/forge/invariant/MorphoInvariantTest.sol | 8 ++++---- test/forge/libraries/periphery/MorphoBalancesLibTest.sol | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/test/forge/invariant/MorphoInvariantTest.sol b/test/forge/invariant/MorphoInvariantTest.sol index ebd9db50d..edb423473 100644 --- a/test/forge/invariant/MorphoInvariantTest.sol +++ b/test/forge/invariant/MorphoInvariantTest.sol @@ -342,7 +342,7 @@ contract MorphoInvariantTest is InvariantTest { /* INVARIANTS */ - function invariantSupplyShares() internal { + function invariantSupplyShares() public { address[] memory users = targetSenders(); for (uint256 i; i < allMarketParams.length; ++i) { @@ -358,7 +358,7 @@ contract MorphoInvariantTest is InvariantTest { } } - function invariantBorrowShares() internal { + function invariantBorrowShares() public { address[] memory users = targetSenders(); for (uint256 i; i < allMarketParams.length; ++i) { @@ -383,7 +383,7 @@ contract MorphoInvariantTest is InvariantTest { } } - function invariantMorphoBalance() internal { + function invariantMorphoBalance() public { for (uint256 i; i < allMarketParams.length; ++i) { MarketParams memory _marketParams = allMarketParams[i]; Id _id = _marketParams.id(); @@ -394,7 +394,7 @@ contract MorphoInvariantTest is InvariantTest { } } - function invariantBadDebt() internal { + function invariantBadDebt() public { address[] memory users = targetSenders(); for (uint256 i; i < allMarketParams.length; ++i) { diff --git a/test/forge/libraries/periphery/MorphoBalancesLibTest.sol b/test/forge/libraries/periphery/MorphoBalancesLibTest.sol index 516bb0847..e99a5fbf4 100644 --- a/test/forge/libraries/periphery/MorphoBalancesLibTest.sol +++ b/test/forge/libraries/periphery/MorphoBalancesLibTest.sol @@ -69,7 +69,7 @@ contract MorphoBalancesLibTest is BaseTest { } function testExpectedSupplyBalance(uint256 amountSupplied, uint256 amountBorrowed, uint256 timeElapsed, uint256 fee) - internal + public { _generatePendingInterest(amountSupplied, amountBorrowed, timeElapsed, fee); @@ -85,7 +85,7 @@ contract MorphoBalancesLibTest is BaseTest { } function testExpectedBorrowBalance(uint256 amountSupplied, uint256 amountBorrowed, uint256 timeElapsed, uint256 fee) - internal + public { _generatePendingInterest(amountSupplied, amountBorrowed, timeElapsed, fee);