-
Notifications
You must be signed in to change notification settings - Fork 719
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #5871 from IntersectMBO/test-pparam-change-spo-fails
Test SPOs cannot vote protocol parameter change proposals
- Loading branch information
Showing
5 changed files
with
225 additions
and
89 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
131 changes: 131 additions & 0 deletions
131
cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/PParamChangeFailsSPO.hs
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,131 @@ | ||
| {-# LANGUAGE DataKinds #-} | ||
| {-# LANGUAGE FlexibleContexts #-} | ||
| {-# LANGUAGE NamedFieldPuns #-} | ||
| {-# LANGUAGE OverloadedStrings #-} | ||
| {-# LANGUAGE ScopedTypeVariables #-} | ||
|
|
||
| module Cardano.Testnet.Test.Gov.PParamChangeFailsSPO | ||
| ( hprop_check_pparam_fails_spo | ||
| ) where | ||
|
|
||
| import Cardano.Api as Api | ||
| import Cardano.Api.Ledger (EpochInterval (EpochInterval)) | ||
|
|
||
| import Cardano.Testnet | ||
|
|
||
| import Prelude | ||
|
|
||
| import Control.Monad.Catch (MonadCatch) | ||
| import Data.Typeable (Typeable) | ||
| import Data.Word (Word32) | ||
| import System.FilePath ((</>)) | ||
|
|
||
| import Testnet.Components.Query | ||
| import Testnet.Defaults (defaultSpoColdKeyPair, defaultSpoKeys) | ||
| import Testnet.Process.Cli.DRep | ||
| import qualified Testnet.Process.Cli.SPO as SPO | ||
| import Testnet.Process.Cli.Transaction (failToSubmitTx, signTx) | ||
| import Testnet.Process.Run (mkExecConfig) | ||
| import Testnet.Property.Util (integrationWorkspace) | ||
| import Testnet.Types | ||
|
|
||
| import Hedgehog (Property, annotateShow) | ||
| import qualified Hedgehog.Extras as H | ||
| import Hedgehog.Internal.Property (MonadTest) | ||
| import Hedgehog.Internal.Source (HasCallStack, withFrozenCallStack) | ||
|
|
||
| -- | Test that SPOs cannot vote on a Protocol Parameter change | ||
| -- | Execute me with: | ||
| -- @DISABLE_RETRIES=1 cabal test cardano-testnet-test --test-options '-p "/PParam change fails for SPO/"'@ | ||
| hprop_check_pparam_fails_spo :: Property | ||
| hprop_check_pparam_fails_spo = integrationWorkspace "test-pparam-spo" $ \tempAbsBasePath' -> | ||
| H.runWithDefaultWatchdog_ $ do | ||
| -- Start a local test net | ||
| conf@Conf { tempAbsPath } <- mkConf tempAbsBasePath' | ||
| let tempAbsPath' = unTmpAbsPath tempAbsPath | ||
| tempBaseAbsPath = makeTmpBaseAbsPath tempAbsPath | ||
|
|
||
| work <- H.createDirectoryIfMissing $ tempAbsPath' </> "work" | ||
|
|
||
| -- Create default testnet | ||
| let ceo = ConwayEraOnwardsConway | ||
| sbe = conwayEraOnwardsToShelleyBasedEra ceo | ||
| era = toCardanoEra sbe | ||
| cEra = AnyCardanoEra era | ||
| fastTestnetOptions = cardanoDefaultTestnetOptions | ||
| { cardanoEpochLength = 200 | ||
| , cardanoNodeEra = cEra | ||
| } | ||
|
|
||
| TestnetRuntime | ||
| { testnetMagic | ||
| , poolNodes | ||
| , wallets=wallet0:wallet1:_wallet2:_ | ||
| , configurationFile | ||
| } | ||
| <- cardanoTestnetDefault fastTestnetOptions conf | ||
|
|
||
| PoolNode{poolRuntime} <- H.headM poolNodes | ||
| poolSprocket1 <- H.noteShow $ nodeSprocket poolRuntime | ||
| execConfig <- mkExecConfig tempBaseAbsPath poolSprocket1 testnetMagic | ||
| let socketPath = nodeSocketPath poolRuntime | ||
|
|
||
| epochStateView <- getEpochStateView configurationFile socketPath | ||
|
|
||
| H.note_ $ "Sprocket: " <> show poolSprocket1 | ||
| H.note_ $ "Abs path: " <> tempAbsBasePath' | ||
| H.note_ $ "Socketpath: " <> unFile socketPath | ||
| H.note_ $ "Foldblocks config file: " <> unFile configurationFile | ||
|
|
||
| gov <- H.createDirectoryIfMissing $ work </> "governance" | ||
|
|
||
| baseDir <- H.createDirectoryIfMissing $ gov </> "output" | ||
|
|
||
|
|
||
| let propVotes :: [(String, Int)] | ||
| propVotes = zip (concatMap (uncurry replicate) [(1, "yes")]) [1..] | ||
| annotateShow propVotes | ||
|
|
||
| (governanceActionTxId, governanceActionIndex) <- | ||
| makeActivityChangeProposal execConfig epochStateView ceo baseDir "proposal" | ||
| Nothing (EpochInterval 3) wallet0 (EpochInterval 2) | ||
|
|
||
| failToVoteChangeProposalWithSPOs ceo execConfig epochStateView baseDir "vote" | ||
| governanceActionTxId governanceActionIndex propVotes wallet1 | ||
|
|
||
| -- | Cast votes for a governance action with SPO keys. | ||
| failToVoteChangeProposalWithSPOs | ||
| :: (HasCallStack, MonadTest m, MonadIO m, MonadCatch m, H.MonadAssertion m, Typeable era) | ||
| => ConwayEraOnwards era -- ^ The conway era onwards witness for the era in which the | ||
| -- transaction will be constructed. | ||
| -> H.ExecConfig -- ^ Specifies the CLI execution configuration.v | ||
| -> EpochStateView -- ^ Current epoch state view for transaction building. It can be obtained | ||
| -- using the 'getEpochStateView' function. | ||
| -> FilePath -- ^ Base directory path where generated files will be stored. | ||
| -> String -- ^ Name for the subfolder that will be created under 'work' folder. | ||
| -> String -- ^ The transaction id of the governance action to vote. | ||
| -> Word32 -- ^ The index of the governance action to vote. | ||
| -> [([Char], Int)] -- ^ Votes to be casted for the proposal. Each tuple contains the index | ||
| -- of the default SPO that will make the vote and the type of the vote | ||
| -- (i.e: "yes", "no", "abstain"). | ||
| -> PaymentKeyInfo -- ^ Wallet that will pay for the transaction. | ||
| -> m () | ||
| failToVoteChangeProposalWithSPOs ceo execConfig epochStateView work prefix | ||
| governanceActionTxId governanceActionIndex votes wallet = withFrozenCallStack $ do | ||
| baseDir <- H.createDirectoryIfMissing $ work </> prefix | ||
|
|
||
| let sbe = conwayEraOnwardsToShelleyBasedEra ceo | ||
| era = toCardanoEra sbe | ||
| cEra = AnyCardanoEra era | ||
|
|
||
| voteFiles <- SPO.generateVoteFiles ceo execConfig baseDir "vote-files" | ||
| governanceActionTxId governanceActionIndex | ||
| [(defaultSpoKeys idx, vote) | (vote, idx) <- votes] | ||
|
|
||
| voteTxBodyFp <- createVotingTxBody execConfig epochStateView sbe baseDir "vote-tx-body" | ||
| voteFiles wallet | ||
|
|
||
| let signingKeys = SomeKeyPair (paymentKeyInfoPair wallet):(SomeKeyPair . defaultSpoColdKeyPair . snd <$> votes) | ||
| voteTxFp <- signTx execConfig cEra baseDir "signed-vote-tx" voteTxBodyFp signingKeys | ||
|
|
||
| failToSubmitTx execConfig cEra voteTxFp "DisallowedVoters" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters