chore: add initial total supply to mocked Morpho token

morpho-org · Dec 6, 2023 · 6d8cdec · 6d8cdec
1 parent 6ae9d24
commit 6d8cdec
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/certora/helpers/MorphoToken.sol b/certora/helpers/MorphoToken.sol
@@ -4,5 +4,7 @@ pragma solidity >=0.8.0;
 import "@rari-capital/solmate/src/tokens/ERC20.sol";
 
 contract MorphoToken is ERC20 {
-    constructor() ERC20("Morpho Token", "MORPHO", 18) {}
+    constructor(address _receiver) ERC20("Morpho Token", "MORPHO", 18) {
+        _mint(_receiver, 1_000_000_000 ether);
+    }
 }