Test flipped serialization for TxIn

Author: jasagredo

ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal

@@ -378,6 +378,7 @@ test-suite shelley-test
     contra-tracer,
     filepath,
     measures,
+    mempack,
     microlens,
     ouroboros-consensus:{ouroboros-consensus, unstable-consensus-testlib},
     ouroboros-consensus-cardano,

ouroboros-consensus-cardano/test/shelley-test/Test/Consensus/Shelley/LedgerTables.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -11,6 +12,9 @@
 module Test.Consensus.Shelley.LedgerTables (tests) where
 
 import qualified Cardano.Ledger.Api.Era as L
+import qualified Cardano.Ledger.BaseTypes as L
+import qualified Cardano.Ledger.Shelley.API.Types as L
+import Data.MemPack
 import Data.Proxy
 import Data.SOP.BasicFunctors
 import Data.SOP.Constraint
@@ -29,12 +33,16 @@ import Test.Cardano.Ledger.Dijkstra.Arbitrary ()
 import Test.Consensus.Shelley.Generators ()
 import Test.Consensus.Shelley.MockCrypto (CanMock)
 import Test.LedgerTables
+import Test.QuickCheck
 import Test.Tasty
 import Test.Tasty.QuickCheck
 
 tests :: TestTree
 tests =
   testGroup "LedgerTables"
+    . (testProperty "Serializing BigEndianTxIn preserves order" testBigEndianTxInPreservesOrder :)
+    . (testProperty "Serializing TxIn fails to preserve order" (expectFailure testTxInPreservesOrder) :)
+    . (testProperty "BigEndianTxIn roundtrips" testBigEndianRoundtrips :)
     . hcollapse
     . hcmap (Proxy @TestLedgerTables) (K . f)
     $ (hpure Proxy :: NP Proxy (CardanoShelleyEras StandardCrypto))
@@ -74,3 +82,21 @@ instance
   Arbitrary (LedgerTables (LedgerState (ShelleyBlock proto era)) ValuesMK)
   where
   arbitrary = projectLedgerTables . unstowLedgerTables <$> arbitrary
+
+testBigEndianTxInPreservesOrder :: L.TxId -> L.TxIx -> L.TxIx -> Property
+testBigEndianTxInPreservesOrder txid txix1 txix2 =
+  let b1 = packByteString (BigEndianTxIn $ L.TxIn txid txix1)
+      b2 = packByteString (BigEndianTxIn $ L.TxIn txid txix2)
+   in counterexample (show b1 <> " " <> show b2) $ compare b1 b2 === compare txix1 txix2
+
+testBigEndianRoundtrips :: L.TxIn -> Property
+testBigEndianRoundtrips txin =
+  case unpack (pack txin) of
+    Left err -> counterexample ("unpack failed with error: " ++ show err) False
+    Right v -> v === txin
+
+testTxInPreservesOrder :: L.TxId -> L.TxIx -> L.TxIx -> Property
+testTxInPreservesOrder txid txix1 txix2 =
+  let b1 = packByteString (L.TxIn txid txix1)
+      b2 = packByteString (L.TxIn txid txix2)
+   in counterexample (show b1 <> " " <> show b2) $ compare b1 b2 === compare txix1 txix2