WIP - LedgerSpec

Author: Lucsanszky

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp.hs

@@ -48,7 +48,7 @@ import qualified Test.Cardano.Ledger.Conway.Imp.EnactSpec as Enact
 import qualified Test.Cardano.Ledger.Conway.Imp.EpochSpec as Epoch
 import qualified Test.Cardano.Ledger.Conway.Imp.GovCertSpec as GovCert
 import qualified Test.Cardano.Ledger.Conway.Imp.GovSpec as Gov
--- import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger
+import qualified Test.Cardano.Ledger.Conway.Imp.LedgerSpec as Ledger
 -- import qualified Test.Cardano.Ledger.Conway.Imp.RatifySpec as Ratify
 -- import qualified Test.Cardano.Ledger.Conway.Imp.UtxoSpec as Utxo
 -- import qualified Test.Cardano.Ledger.Conway.Imp.UtxosSpec as Utxos
@@ -136,8 +136,8 @@ conwaySpec = do
   describe "EPOCH" Epoch.spec
   describe "GOV" Gov.spec
   describe "GOVCERT" GovCert.spec
+  describe "LEDGER" Ledger.spec
 
--- describe "LEDGER" Ledger.spec
 -- describe "RATIFY" Ratify.spec
 -- describe "UTXO" Utxo.spec
 -- describe "UTXOS" Utxos.spec

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/LedgerSpec.hs

@@ -47,7 +47,6 @@ import Test.Cardano.Ledger.Plutus.Examples (
 spec ::
   forall era.
   ( ConwayEraImp era
-  , ShelleyEraTxCert era
   , InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era
   , InjectRuleFailure "LEDGER" ConwayUtxoPredFailure era
   , InjectRuleFailure "LEDGER" ConwayGovPredFailure era
@@ -82,7 +81,7 @@ spec = do
     modifyPParams $ ppGovActionLifetimeL .~ EpochInterval 2
     kh <- freshKeyHash
     let cred = KeyHashObj kh
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     submitAndExpireProposalToMakeReward cred
     balance <- getBalance cred
 
@@ -107,7 +106,7 @@ spec = do
     modifyPParams $ ppGovActionLifetimeL .~ EpochInterval 2
     kh <- freshKeyHash
     let cred = KeyHashObj kh
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     submitAndExpireProposalToMakeReward cred
     balance <- getBalance cred
 
@@ -130,7 +129,7 @@ spec = do
     refund <- getsNES $ nesEsL . curPParamsEpochStateL . ppKeyDepositL
     kh <- freshKeyHash
     let cred = KeyHashObj kh
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     Positive newDeposit <- arbitrary
     modifyPParams $ \pp ->
       pp
@@ -158,7 +157,7 @@ spec = do
         & ppDRepActivityL .~ EpochInterval 1
     kh <- freshKeyHash
     let cred = KeyHashObj kh
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     submitAndExpireProposalToMakeReward cred
     balance <- getBalance cred
 
@@ -185,7 +184,7 @@ spec = do
         & ppDRepActivityL .~ EpochInterval 1
     kh <- freshKeyHash
     let cred = KeyHashObj kh
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     submitAndExpireProposalToMakeReward cred
     balance <- getBalance cred
 
@@ -210,7 +209,7 @@ spec = do
     modifyPParams $ ppGovActionLifetimeL .~ EpochInterval 2
     let scriptHash = hashPlutusScript $ alwaysSucceedsNoDatum SPlutusV3
     let cred = ScriptHashObj scriptHash
-    ra <- registerStakeCredential cred
+    ra <- registerStakeCredentialWithDeposit cred
     submitAndExpireProposalToMakeReward cred
     balance <- getBalance cred
 
@@ -286,7 +285,7 @@ spec = do
         mkBasicTx (mkBasicTxBody & proposalProceduresTxBodyL .~ [proposal])
       ccHot <- registerCommitteeHotKey ccCold
       govActionId <- do
-        rewardAccount <- registerRewardAccount
+        rewardAccount <- registerRewardAccountWithDeposit
         submitTreasuryWithdrawals [(rewardAccount, Coin 1)]
 
       let