Эх сурвалжийг харах

multiple inheritance is tricky x2

Aleksander Kryukov 4 жил өмнө
parent
commit
a710435535

+ 2 - 1
certora/harnesses/GovernorVotesQuorumFractionHarness.sol

@@ -41,6 +41,7 @@ contract GovernorVotesQuorumFractionHarness is GovernorVotesQuorumFraction {
         // havoc something
         // havoc something
     }
     }
 
 
-    constructor(string memory name) Governor(name) {}
+    constructor(ERC20Votes tokenAddr, string memory name, uint256 quorumNumeratorValue) 
+            GovernorVotesQuorumFraction(quorumNumeratorValue) GovernorVotes(tokenAddr) Governor(name) {}
 
 
 }
 }