Skip to content

Commit

Permalink
Merge pull request #587 from morpho-org/chore/remove-invariants-ci
Browse files Browse the repository at this point in the history
  • Loading branch information
MathisGD authored Nov 9, 2023
2 parents 78f7f7a + 2d70047 commit ec5bab5
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion foundry.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ via-ir = true
optimizer_runs = 4294967295

[profile.default.invariant]
runs = 8
runs = 0
depth = 256
fail_on_revert = true

Expand Down
8 changes: 4 additions & 4 deletions test/forge/invariant/MorphoInvariantTest.sol
Original file line number Diff line number Diff line change
Expand Up @@ -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) {
Expand All @@ -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) {
Expand All @@ -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();
Expand All @@ -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) {
Expand Down
4 changes: 2 additions & 2 deletions test/forge/libraries/periphery/MorphoBalancesLibTest.sol
Original file line number Diff line number Diff line change
Expand Up @@ -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);

Expand All @@ -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);

Expand Down

0 comments on commit ec5bab5

Please sign in to comment.