Skip to content

Commit

Permalink
refactor: remove Morpho in invariant tests
Browse files Browse the repository at this point in the history
  • Loading branch information
QGarchery committed Nov 24, 2024
1 parent d4d5e56 commit e95b180
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ pragma solidity ^0.8.0;

import "../InvariantTest.sol";

contract BaseMorphoInvariantTest is InvariantTest {
contract BaseInvariantTest is InvariantTest {
using MathLib for uint256;
using SharesMathLib for uint256;
using MorphoLib for IMorpho;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity ^0.8.0;

import "./BaseMorphoInvariantTest.sol";
import "./BaseInvariantTest.sol";

contract MorphoDynamicInvariantTest is BaseMorphoInvariantTest {
contract DynamicInvariantTest is BaseInvariantTest {
using MorphoLib for IMorpho;
using MarketParamsLib for MarketParams;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity ^0.8.0;

import "./BaseMorphoInvariantTest.sol";
import "./BaseInvariantTest.sol";

contract MorphoStaticInvariantTest is BaseMorphoInvariantTest {
contract StaticInvariantTest is BaseInvariantTest {
/* INVARIANTS */

function invariantHealthy() public {
Expand Down

0 comments on commit e95b180

Please sign in to comment.