checkingInvariantsWithoutGhosts

2021-11-04 17:54:26 +02:00
parent 364da56ab4
commit 77efd53f0c
4 changed files with 25 additions and 10 deletions
--- a/certora/harnesses/GovernorHarness.sol
+++ b/certora/harnesses/GovernorHarness.sol
@ -2,6 +2,14 @@ import "../../contracts/governance/Governor.sol";

 contract GovernorHarness is Governor {

+    function isExecuted(uint256 proposalId) public view returns (bool) {
+        return _proposals[proposalId].executed;
+    }
+    
+    function isCanceled(uint256 proposalId) public view returns (bool) {
+        return _proposals[proposalId].canceled;
+    }
+
    mapping(uint256 => uint256) _quorum;

    function quorum(uint256 blockNumber) public view override virtual returns (uint256) {