Add Predicate serialization tests for BBODY and MEMPOOL rules

Author: lehins

eras/conway/impl/CHANGELOG.md

@@ -6,6 +6,10 @@
 * Deprecate `Conway` type synonym
 * Remove crypto parametrization from `ConwayEra`
 
+### `testlib`
+
+* Add `Arbitrary` instance for `ConwayBbodyPredFailure` and `ConwayMempoolPredFailure`
+
 ## 1.18.0.0
 
 * Remove `SlotNo` from `CertEnv` and `CertsEnv`

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

@@ -218,6 +218,17 @@ instance
 
   shrink = genericShrink
 
+instance
+  ( Era era
+  , Arbitrary (PredicateFailure (EraRule "LEDGERS" era))
+  ) =>
+  Arbitrary (ConwayBbodyPredFailure era)
+  where
+  arbitrary = genericArbitraryU
+
+instance Arbitrary (ConwayMempoolPredFailure era) where
+  arbitrary = genericArbitraryU
+
 instance
   ( EraTxOut era
   , Arbitrary (Value era)

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Binary/RoundTrip.hs

@@ -76,15 +76,17 @@ roundTripConwayEraTypesSpec = do
 instance RuleListEra ConwayEra where
   type
     EraRules ConwayEra =
-      '[ "GOV"
-       , "UTXOS"
-       , "LEDGER"
-       , "CERTS"
+      '[ "BBODY"
        , "CERT"
+       , "CERTS"
        , "DELEG"
        , "GOVCERT"
-       , "UTXOW"
-       , "UTXO"
+       , "GOV"
+       , "LEDGER"
        , "LEDGERS"
+       , "MEMPOOL"
        , "POOL"
+       , "UTXO"
+       , "UTXOS"
+       , "UTXOW"
        ]