GovernorSuperQuorumGreaterThanQuorum

Inherits: Test

State Variables

_governorHandler

GovernorHandler private _governorHandler;

Functions

setUp

function setUp() external;

invariant_superQuorumGreaterThanQuorum

function invariant_superQuorumGreaterThanQuorum() external view;