[#788][#817] Set up for DCert conformance testing

byron/ledger/executable-spec/src/Ledger/Delegation.hs

@@ -87,6 +87,7 @@ module Ledger.Delegation
       , S_BeforeExistingDelegation, S_NoLastDelegation
       , S_AfterExistingDelegation, S_AlreadyADelegateOf
       )
+  , tamperedDcerts
   )
 where
 
@@ -795,3 +796,8 @@ mkGoblinGens
   , "SDelegSFailure_SDelegFailure_IsAlreadyScheduled"
   , "SDelegSFailure_SDelegFailure_IsNotGenesisKey"
   ]
+
+tamperedDcerts :: DIEnv -> DIState -> Gen [DCert]
+tamperedDcerts env st = do
+  sg <- Gen.element goblinGensDELEG
+  sg env st

byron/ledger/executable-spec/src/Ledger/Update/Test.hs

@@ -4,6 +4,7 @@
 module Ledger.Update.Test
   ( coverUpiregFailures
   , coverUpivoteFailures
+  , coverDelegFailures
   )
 where
 
@@ -13,6 +14,7 @@ import           GHC.Stack (HasCallStack)
 import           Hedgehog (MonadTest)
 import           Hedgehog.Internal.Property (CoverPercentage)
 
+import           Ledger.Delegation (PredicateFailure (EpochInThePast, EpochPastNextEpoch, IsAlreadyScheduled, IsNotGenesisKey))
 import           Ledger.Update (PredicateFailure (AVSigDoesNotVerify, AlreadyProposedPv, AlreadyProposedSv, CannotFollowPv, CannotFollowSv, CannotUpdatePv, DoesNotVerify, InvalidApplicationName, InvalidSystemTags, NoUpdateProposal, NotGenesisDelegate))
 import           Ledger.Update (UpId (UpId))
 
@@ -71,3 +73,23 @@ coverUpivoteFailures coverPercentage someData =
     , NoUpdateProposal (UpId 0) -- We need to pass a dummy update id here.
     ]
     someData
+
+
+coverDelegFailures
+  :: forall m a
+   .  ( MonadTest m
+      , HasCallStack
+      , Data a
+      )
+  => CoverPercentage
+  -> a
+  -> m ()
+coverDelegFailures coverPercentage someData =
+  Generator.coverFailures
+    coverPercentage
+    [ EpochInThePast undefined
+    , EpochPastNextEpoch undefined
+    , IsAlreadyScheduled
+    , IsNotGenesisKey
+    ]
+    someData

cabal.project

@@ -29,4 +29,4 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/goblins
-  tag: b5e99cf153a3abb1b764f80095f6a930ba056048
+  tag: 545448938bf620bb2a25212e1686916cfa3acee9

stack.yaml

@@ -23,7 +23,7 @@ extra-deps:
     - cardano-crypto-class
 
 - git: https://github.com/input-output-hk/goblins
-  commit: b5e99cf153a3abb1b764f80095f6a930ba056048
+  commit: 545448938bf620bb2a25212e1686916cfa3acee9
 - moo-1.2
 - gray-code-0.3.1