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

switched harnesses to use munged contracts

Browse Source
This commit is contained in:
Michael George
2021-12-01 10:13:42 -05:00
parent f3087407c6
commit 380b87dc0c
3 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
certora/harnesses/WizardFirstTry.sol
View File

@ -1,11 +1,11 @@
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.2;
import "../../contracts/governance/Governor.sol";
import "../../contracts/governance/extensions/GovernorCountingSimple.sol";
import "../../contracts/governance/extensions/GovernorVotes.sol";
import "../../contracts/governance/extensions/GovernorVotesQuorumFraction.sol";
import "../../contracts/governance/extensions/GovernorTimelockCompound.sol";
import "../munged/governance/Governor.sol";
import "../munged/governance/extensions/GovernorCountingSimple.sol";
import "../munged/governance/extensions/GovernorVotes.sol";
import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
import "../munged/governance/extensions/GovernorTimelockCompound.sol";
/*
Wizard options: