From 3c150953ed388c492202e7738bcbfe9521412d2f Mon Sep 17 00:00:00 2001 From: Michael George Date: Fri, 3 Dec 2021 14:52:53 -0500 Subject: [PATCH] harnessing fix --- certora/specs/GovernorBase.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/certora/specs/GovernorBase.spec b/certora/specs/GovernorBase.spec index 798d63381..6fb527eee 100644 --- a/certora/specs/GovernorBase.spec +++ b/certora/specs/GovernorBase.spec @@ -25,8 +25,8 @@ methods { getVotes(address, uint256) returns uint256 => DISPATCHER(true) - getPastTotalSupply(uint256) returns uint256 => NONDET - getPastVotes(address, uint256) returns uint256 => NONDET + getPastTotalSupply(uint256 t) returns uint256 => PER_CALLEE_CONSTANT + getPastVotes(address a, uint256 t) returns uint256 => PER_CALLEE_CONSTANT //scheduleBatch(address[],uint256[],bytes[],bytes32,bytes32,uint256) => DISPATCHER(true) //executeBatch(address[], uint256[], bytes[], bytes32, bytes32) => DISPATCHER(true)