[CDEC-500] Add golden tests for Address

Since we are modifying this for CO-354, and it's quite important to
preserve backwards compatibility of Addresses, I've added 5 golden
tests to ensure the various configurations of Addresses will have
proper test coverage.

core/test/Test/Pos/Core/ExampleHelpers.hs

@@ -3,6 +3,10 @@ module Test.Pos.Core.ExampleHelpers
 
           exampleAddrSpendingData_PubKey
         , exampleAddress
+        , exampleAddress1
+        , exampleAddress2
+        , exampleAddress3
+        , exampleAddress4
         , exampleBlockVersion
         , exampleBlockVersionData
         , exampleBlockVersionModifier
@@ -83,6 +87,7 @@ import           Data.Fixed (Fixed (..))
 import qualified Data.HashMap.Strict as HM
 import           Data.List (zipWith4, (!!))
 import           Data.List.NonEmpty (fromList)
+import qualified Data.Map as M
 import           Data.Maybe (fromJust)
 import qualified Data.Text as T
 import           Data.Time.Units (Millisecond)
@@ -99,8 +104,8 @@ import           Pos.Core.Common (AddrAttributes (..), AddrSpendingData (..),
                      CoinPortion (..), IsBootstrapEraAddr (..), Script (..),
                      ScriptVersion, SharedSeed (..), SlotLeaders,
                      StakeholderId, StakesList, TxFeePolicy (..),
-                     TxSizeLinear (..), addressHash, makeAddress,
-                     makePubKeyAddress)
+                     TxSizeLinear (..), addressHash, coinPortionDenominator,
+                     makeAddress, makePubKeyAddress, mkMultiKeyDistr)
 import           Pos.Core.Configuration
 import           Pos.Core.Delegation (HeavyDlgIndex (..), LightDlgIndices (..),
                      ProxySKBlockInfo, ProxySKHeavy)
@@ -564,6 +569,50 @@ exampleAddress = makeAddress exampleAddrSpendingData_PubKey attrs
     attrs = AddrAttributes hap BootstrapEraDistr
     hap = Just (HDAddressPayload (getBytes 32 32))
 
+exampleAddress1 :: Address
+exampleAddress1 = makeAddress easd attrs
+  where
+    easd = PubKeyASD pk
+    [pk] = examplePublicKeys 24 1
+    attrs = AddrAttributes hap BootstrapEraDistr
+    hap = Nothing
+
+exampleAddress2 :: Address
+exampleAddress2 = makeAddress easd attrs
+  where
+    easd = RedeemASD exampleRedeemPublicKey
+    attrs = AddrAttributes hap asd
+    hap = Just (HDAddressPayload (getBytes 15 32))
+    asd = SingleKeyDistr exampleStakeholderId
+
+exampleAddress3 :: Address
+exampleAddress3 = makeAddress easd attrs
+  where
+    easd = ScriptASD exampleScript
+    attrs = AddrAttributes hap exampleMultiKeyDistr
+    hap = Just (HDAddressPayload (getBytes 17 32))
+
+exampleAddress4 :: Address
+exampleAddress4 = makeAddress easd attrs
+  where
+    easd = UnknownASD 7 "test value"
+    attrs = AddrAttributes Nothing (SingleKeyDistr sId)
+    [sId] = exampleStakeholderIds 7 1
+
+exampleMultiKeyDistr :: AddrStakeDistribution
+exampleMultiKeyDistr = case mkMultiKeyDistr (M.fromList pairs) of
+    Left err -> error $
+        "exampleMultiKeyDistr: improperly constructed stake map: " <> show err
+    Right asd -> asd
+  where
+    pairs = zip stakeIds (map CoinPortion (remainderCP : coinPortions))
+    stakeIds = map abstractHash (examplePublicKeys 7 4)
+    coinPortions = [ (10 :: Word64) ^ (12 :: Word64)
+                   , ( 7 :: Word64) ^ (11 :: Word64)
+                   , ( 6 :: Word64) ^ (14 :: Word64)
+                   ]
+    remainderCP = coinPortionDenominator - sum coinPortions
+
 exampleGenesisConfiguration_GCSrc :: GenesisConfiguration
 exampleGenesisConfiguration_GCSrc =
     GCSrc "dRaMwdYsH3QA3dChe" (abstractHash (Raw "Test"))

core/test/Test/Pos/Core/Json.hs

@@ -5,11 +5,12 @@ import qualified Hedgehog as H
 
 import           Pos.Core.JsonLog.LogEvents (InvReqDataFlowLog (..))
 
-import           Test.Pos.Core.ExampleHelpers
-                     (exampleGenesisConfiguration_GCSpec,
+import           Test.Pos.Core.ExampleHelpers (exampleAddress, exampleAddress1,
+                     exampleAddress2, exampleAddress3, exampleAddress4,
+                     exampleGenesisConfiguration_GCSpec,
                      exampleGenesisConfiguration_GCSrc, feedPM)
-import           Test.Pos.Core.Gen (genBlockVersionData, genByte, genCoin,
-                     genCoinPortion, genEpochIndex, genFlatSlotId,
+import           Test.Pos.Core.Gen (genAddress, genBlockVersionData, genByte,
+                     genCoin, genCoinPortion, genEpochIndex, genFlatSlotId,
                      genGenesisAvvmBalances, genGenesisConfiguration,
                      genGenesisDelegation, genGenesisInitializer,
                      genGenesisProtocolConstants, genInvReqDataFlowLog,
@@ -22,7 +23,49 @@ import           Test.Pos.Util.Tripping (discoverRoundTrip,
 import           Universum
 
 --------------------------------------------------------------------------------
--- GensisConfiguration
+-- Address
+--------------------------------------------------------------------------------
+
+golden_Address0 :: Property
+golden_Address0 =
+    goldenTestJSON
+        exampleAddress
+        "test/golden/json/Address0"
+
+golden_Address1 :: Property
+golden_Address1 =
+    goldenTestJSON
+        exampleAddress1
+        "test/golden/json/Address1"
+
+golden_Address2 :: Property
+golden_Address2 =
+    goldenTestJSON
+        exampleAddress2
+        "test/golden/json/Address2"
+
+golden_Address3 :: Property
+golden_Address3 =
+    goldenTestJSON
+        exampleAddress3
+        "test/golden/json/Address3"
+
+golden_Address4 :: Property
+golden_Address4 =
+    goldenTestJSON
+        exampleAddress4
+        "test/golden/json/Address4"
+
+roundTripAddressShow :: Property
+roundTripAddressShow =
+    eachOf 100 genAddress roundTripsAesonShow
+
+roundTripAddressBuildable :: Property
+roundTripAddressBuildable =
+    eachOf 100 genAddress roundTripsAesonBuildable
+
+--------------------------------------------------------------------------------
+-- GenesisConfiguration
 --------------------------------------------------------------------------------
 
 golden_GenesisConfiguration_GCSpec :: Property

core/test/golden/json/Address0

@@ -0,0 +1 @@
+"2RhQhCGqYPDpFgTsnBTbnvPvCwpqAkjwLqQkWpkqXbLRmNxd4xNd262nGsr8JiynyKRUeMLSJ9Ntho9i76uvBTrVXdJJG5yiNLb8frmUe5qX7E"

core/test/golden/json/Address1

@@ -0,0 +1 @@
+"Ae2tdPwUPEZDoUnyXuAgqzhkjNXNJeiZ5nqwprg9sArZmRNjySfJ5uz4FjB"

core/test/golden/json/Address2

@@ -0,0 +1 @@
+"dRNpRgY7sgwXaGbEZQ7KtFprY5PE3sxejht9kFEKLmSowgUegSinCjx3yuKGHQbRHL2EUP89BuAurEScfrgWxahCjD1M9QKYoTj5KrbR5TDnqBE3oSNx7UcXhrGKM9aau48SASu8i88Sq8hPb3z5K662spTXX"

core/test/golden/json/Address3

@@ -0,0 +1 @@
+"a2x5MVsL5Pr1SESUZbGb7d64coe2VpRJhEFsYCUHfaimAE3wvmNHd44H7ue1wFx1RqrS9vnAmTVri19FttwaRLWG5L2rLMe1tCSzZ4zJjeUwej8kEX4VmYbL7t7o1rmucebNvz8qGod2s6LKCkAxN6dWVv9jZ3gCkWrNsXq3JeSjaBLPT7RNwSExRmPAwJ6geZmadnKSArbiPjYXkaJa5GQyDUYbni8jCyXmMHB7Qsj1Pgc7qCKA7AebV13kADRv3wSbMgWEAbBrxEmBRnHgXw5Nh6EJ5n7ejVYJAJY3kJ8Q2xisLJxW54Y48BK8a4AW7M3fU"

core/test/golden/json/Address4

@@ -0,0 +1 @@
+"5FCjkr138i9wjRVwawmYMd4Vc9KxU7TuQhMyjMGpnykg9yb2qMpUCerDFzXvfAJMFgJTHyD7Sn4ybLXm2M6zeWAaWe7ctjq5QjVL427vGRx"