NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed deltaWeight type from uint to uin256

Browse Source
This commit is contained in:
Michael M
2021-11-10 15:07:34 +02:00
parent 85855b8cc7
commit 52924aaec0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/harnesses/GovernorBasicHarness.sol
View File

@ -51,7 +51,7 @@ contract GovernorBasicHarness is Governor, GovernorCountingSimple, GovernorVotes
string memory reason string memory reason
) internal override virtual returns (uint256) { ) internal override virtual returns (uint256) {
uint deltaWeight = super._castVote(proposalId, account, support, reason); //HARNESS uint256 deltaWeight = super._castVote(proposalId, account, support, reason); //HARNESS
ghost_sum_vote_power_by_id[proposalId] += deltaWeight; ghost_sum_vote_power_by_id[proposalId] += deltaWeight;
return deltaWeight; return deltaWeight;