Merge pull request #68 from morpho-org/chore/update-morpho-blue · morpho-org/metamorpho-v1.1@e3cb903

Commit

Merge pull request #68 from morpho-org/chore/update-morpho-blue

chore: update morpho-blue

MathisGD authored Dec 19, 2024

2 parents 1f46b9a + f253f36 commit e3cb903

+2 −2		.github/workflows/foundry.yml
+1 −1		certora/README.md
+1 −1		foundry.toml
+1 −1		package.json
+5 −5		test/forge/BaseTest.sol
+1 −9		test/forge/InvariantTest.sol
+13 −101		test/forge/invariant/BaseInvariantTest.sol
+105 −0		test/forge/invariant/DynamicInvariantTest.sol
+20 −0		test/forge/invariant/StaticInvariantTest.sol