Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add tallying of votes to the "Motion of no confidence" test #5870

Merged
merged 1 commit into from
Jun 3, 2024
Merged

Add tallying of votes to the "Motion of no confidence" test #5870

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 22 additions & 3 deletions cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/NoConfidence.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,13 +27,15 @@ import qualified Data.Map.Strict as Map
import Data.Maybe.Strict
import Data.String
import qualified Data.Text as Text
import GHC.Exts (IsList (toList))
import Lens.Micro
import System.FilePath ((</>))

import Testnet.Components.Configuration
import Testnet.Components.Query
import Testnet.Components.TestWatchdog
import Testnet.Defaults
import Testnet.EpochStateProcessing (waitForGovActionVotes)
import qualified Testnet.Process.Cli.DRep as DRep
import Testnet.Process.Cli.Keys
import qualified Testnet.Process.Cli.SPO as SPO
Expand Down Expand Up @@ -66,7 +68,7 @@ hprop_gov_no_confidence = integrationWorkspace "no-confidence" $ \tempAbsBasePat
era = toCardanoEra sbe
cEra = AnyCardanoEra era
fastTestnetOptions = cardanoDefaultTestnetOptions
{ cardanoEpochLength = 100
{ cardanoEpochLength = 200
, cardanoNodeEra = cEra
}
execConfigOffline <- H.mkExecConfigOffline tempBaseAbsPath
Expand Down Expand Up @@ -195,9 +197,9 @@ hprop_gov_no_confidence = integrationWorkspace "no-confidence" $ \tempAbsBasePat
pure $ maybeExtractGovernanceActionIndex (fromString governanceActionTxId) anyNewEpochState

let spoVotes :: [(String, Int)]
spoVotes = [("yes", 1), ("yes", 2), ("yes", 3)]
spoVotes = [("yes", 1), ("yes", 2), ("no", 3)]
drepVotes :: [(String, Int)]
drepVotes = [("yes", 1), ("yes", 2), ("yes", 3)]
drepVotes = [("yes", 1), ("yes", 2), ("no", 3)]

spoVoteFiles <- SPO.generateVoteFiles ceo execConfig work "spo-vote-files"
governanceActionTxId governanceActionIndex
Expand All @@ -221,6 +223,23 @@ hprop_gov_no_confidence = integrationWorkspace "no-confidence" $ \tempAbsBasePat

submitTx execConfig cEra voteTxFp

-- Tally votes
waitForGovActionVotes epochStateView (EpochInterval 1)

govState <- getGovState epochStateView ceo
govActionState <- H.headM $ govState ^. L.cgsProposalsL . L.pPropsL . to toList
let gaDRepVotes = govActionState ^. L.gasDRepVotesL . to toList
gaSpoVotes = govActionState ^. L.gasStakePoolVotesL . to toList

length (filter ((== L.VoteYes) . snd) gaDRepVotes) === 2
length (filter ((== L.VoteNo) . snd) gaDRepVotes) === 1
length (filter ((== L.Abstain) . snd) gaDRepVotes) === 0
length drepVotes === length gaDRepVotes
length (filter ((== L.VoteYes) . snd) gaSpoVotes) === 2
length (filter ((== L.VoteNo) . snd) gaSpoVotes) === 1
length (filter ((== L.Abstain) . snd) gaSpoVotes) === 0
length spoVotes === length gaSpoVotes

-- Step 4. We confirm the no confidence motion has been ratified by checking
-- for an empty constitutional committee.
H.nothingFailM $ watchEpochStateUpdate epochStateView (EpochInterval 10) (return . committeeIsPresent False)
Expand Down
Loading