From 3ea4da77235e6fbb6fbe5dbd7a6adee4bcc3571b Mon Sep 17 00:00:00 2001 From: Yorke Rhodes Date: Wed, 14 Jul 2021 16:28:05 -0400 Subject: [PATCH] Patch certora governance spec --- packages/protocol/specs/governance.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/protocol/specs/governance.spec b/packages/protocol/specs/governance.spec index 25fe61c4fef..4b9f4e5f08f 100644 --- a/packages/protocol/specs/governance.spec +++ b/packages/protocol/specs/governance.spec @@ -28,8 +28,8 @@ methods { getVotedId(address, uint256) returns uint256 envfree // dispatches to Accounts - voteSignerToAccount(address) envfree => DISPATCHER(true) - getVoteSigner(address) returns address envfree => DISPATCHER(true) + voteSignerToAccount(address) envfree => DISPATCHER(true) UNRESOLVED + getVoteSigner(address) returns address envfree => DISPATCHER(true) UNRESOLVED } ghost votedFor(address,uint256) returns bool { // voter to proposal id voted for