wip

Author: carbolymer

cardano-testnet/cardano-testnet.cabal

@@ -185,7 +185,9 @@ test-suite cardano-testnet-test
 
   main-is:              cardano-testnet-test.hs
 
-  other-modules:        Cardano.Testnet.Test.Cli.Conway.Plutus
+  other-modules:
+                        Cardano.Testnet.Test.Api.TxSupplementalDatum
+                        Cardano.Testnet.Test.Cli.Conway.Plutus
                         Cardano.Testnet.Test.Cli.Conway.StakeSnapshot
                         Cardano.Testnet.Test.Cli.KesPeriodInfo
                         Cardano.Testnet.Test.Cli.LeadershipSchedule

cardano-testnet/src/Testnet/Components/Query.hs

@@ -36,14 +36,16 @@ module Testnet.Components.Query
   , checkDRepsNumber
   , checkDRepState
   , assertNewEpochState
+  , getProtocolParams
   , getGovActionLifetime
   , getKeyDeposit
   , getDelegationState
   ) where
 
 import           Cardano.Api as Api
 import           Cardano.Api.Ledger (Credential, DRepState, EpochInterval (..), KeyRole (DRepRole))
-import           Cardano.Api.Shelley (ShelleyLedgerEra, fromShelleyTxIn, fromShelleyTxOut)
+import           Cardano.Api.Shelley (LedgerProtocolParameters (..), ShelleyLedgerEra,
+                   fromShelleyTxIn, fromShelleyTxOut)
 
 import           Cardano.Ledger.Api (ConwayGovState)
 import qualified Cardano.Ledger.Api as L
@@ -566,6 +568,15 @@ assertNewEpochState epochStateView sbe maxWait lens expected = withFrozenCallSta
         Refl <- H.leftFail $ assertErasEqual sbe actualEra
         pure $ newEpochState ^. lens
 
+-- | Return current protocol parameters from the governance state
+getProtocolParams :: (H.MonadAssertion m, MonadTest m, MonadIO m)
+  => EpochStateView
+  -> ConwayEraOnwards era
+  -> m (LedgerProtocolParameters era)
+getProtocolParams epochStateView ceo = conwayEraOnwardsConstraints ceo $ do
+   govState :: ConwayGovState era <- getGovState epochStateView ceo
+   pure . LedgerProtocolParameters $ govState ^. L.cgsCurPParamsL
+
 
 -- | Obtains the @govActionLifetime@ from the protocol parameters.
 -- The @govActionLifetime@ or governance action maximum lifetime in epochs is

cardano-testnet/src/Testnet/Types.hs

@@ -21,6 +21,7 @@ module Testnet.Types
   , testnetSprockets
   , TestnetNode(..)
   , nodeSocketPath
+  , node0ConnectionInfo
   , isTestnetNodeSpo
   , SpoNodeKeys(..)
   , Delegator(..)
@@ -72,7 +73,9 @@ import qualified System.Process as IO
 
 import           Testnet.Start.Types
 
+import           Hedgehog (MonadTest)
 import qualified Hedgehog as H
+import qualified Hedgehog.Extras as H
 import qualified Hedgehog.Extras.Stock as H
 import           Hedgehog.Extras.Stock.IO.Network.Sprocket (Sprocket (..))
 
@@ -114,7 +117,7 @@ data SKey k
 data TestnetRuntime = TestnetRuntime
   { configurationFile :: !(NodeConfigFile In)
   , shelleyGenesisFile :: !FilePath
-  , testnetMagic :: !Int
+  , testnetMagic :: !Int -- TODO change to Word32
   , testnetNodes :: ![TestnetNode]
   , wallets :: ![PaymentKeyInfo]
   , delegators :: ![Delegator]
@@ -147,6 +150,18 @@ isTestnetNodeSpo = isJust . poolKeys
 nodeSocketPath :: TestnetNode -> SocketPath
 nodeSocketPath = File . H.sprocketSystemName . nodeSprocket
 
+-- | Connection data for the first node in the testnet
+node0ConnectionInfo :: MonadTest m => TestnetRuntime -> m LocalNodeConnectInfo
+node0ConnectionInfo TestnetRuntime{testnetMagic, testnetNodes} = do
+  case testnetNodes of
+    [] -> H.note_ "There are no nodes in the testnet" >> H.failure
+    node0:_ -> do
+        pure LocalNodeConnectInfo
+              { localNodeSocketPath= nodeSocketPath node0
+              , localNodeNetworkId=Testnet (NetworkMagic $ fromIntegral testnetMagic)
+              , localConsensusModeParams=CardanoModeParams $ EpochSlots 21600}
+
+
 data StakingKey
 data SpoColdKey
 
@@ -189,7 +204,7 @@ getStartTime
   => HasCallStack
   => FilePath
   -> TestnetRuntime
-  -> m UTCTime
+  -> m UTCTime -- TODO change to SystemStart
 getStartTime tempRootPath TestnetRuntime{configurationFile} = withFrozenCallStack $ H.evalEither <=< H.evalIO . runExceptT $ do
   byronGenesisFile <-
     decodeNodeConfiguration configurationFile >>= \case

cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Api/TxSupplementalDatum.hs

@@ -0,0 +1,104 @@
+{-# LANGUAGE NamedFieldPuns #-}
+{-# LANGUAGE NumericUnderscores #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module Cardano.Testnet.Test.Api.TxSupplementalDatum
+  ( hprop_tx_supp_datum
+  )
+where
+
+import           Cardano.Api
+import qualified Cardano.Api.Ledger as L
+import qualified Cardano.Api.Network as Net
+import           Cardano.Api.Shelley
+
+import           Cardano.CLI.Type.Common
+import           Cardano.Crypto.Hash.Class (hashToStringAsHex)
+import qualified Cardano.Ledger.Core as L
+import           Cardano.Testnet
+
+import           Prelude
+
+import           Control.Monad
+import           Data.Default.Class
+import qualified Data.Text as Text
+import           GHC.Exts (IsList (..))
+import           Lens.Micro
+import           System.FilePath ((</>))
+import qualified System.Info as SYS
+
+import           Testnet.Components.Configuration
+import           Testnet.Components.Query
+import           Testnet.Components.Query (findLargestUtxoWithAddress, findUtxosWithAddress,
+                   getEpochStateView, waitForBlocks)
+import           Testnet.Process.Run
+import           Testnet.Property.Util (integrationRetryWorkspace)
+import           Testnet.Types
+
+import           Hedgehog (Property, (===))
+import qualified Hedgehog as H
+import qualified Hedgehog.Extras.Test.Base as H
+import qualified Hedgehog.Extras.Test.File as H
+import qualified Hedgehog.Extras.Test.TestWatchdog as H
+
+hprop_tx_supp_datum :: Property
+hprop_tx_supp_datum = integrationRetryWorkspace 2 "api-tx-supp-dat" $ \tempAbsBasePath' -> H.runWithDefaultWatchdog_ $ do
+  conf@Conf{tempAbsPath} <- mkConf tempAbsBasePath'
+  let tempAbsPath' = unTmpAbsPath tempAbsPath
+  work <- H.createDirectoryIfMissing $ tempAbsPath' </> "work"
+
+  let ceo = ConwayEraOnwardsConway
+      sbe = convert ceo
+      era = toCardanoEra sbe
+      cEra = AnyCardanoEra era
+      tempBaseAbsPath = makeTmpBaseAbsPath $ TmpAbsolutePath tempAbsPath'
+      options = def{cardanoNodeEra = AnyShelleyBasedEra sbe}
+
+  tr@TestnetRuntime
+    { configurationFile
+    , testnetMagic
+    , testnetNodes=node0:_
+    , wallets = wallet0 : _
+    } <-
+    cardanoTestnetDefault options def conf
+
+  systemStart <- fmap SystemStart . H.noteShowM $ getStartTime tempAbsPath' tr
+  epochStateView <- getEpochStateView configurationFile (nodeSocketPath node0)
+  connectionInfo <- node0ConnectionInfo tr
+  pparams <- getProtocolParams epochStateView ceo
+
+  eraHistory <- (H.leftFail <=< H.leftFailM) . H.evalIO $ executeLocalStateQueryExpr connectionInfo Net.VolatileTip $
+    queryEraHistory
+  let epochInfo = toLedgerEpochInfo eraHistory
+
+  H.failure
+
+  let witnesses = undefined
+
+  let content =
+        defaultTxBodyContent sbe
+          & setTxIns undefined
+          & setTxOuts undefined
+          & setTxProtocolParams (pure $ pure pparams)
+
+  BalancedTxBody _ txBody _ _ <-
+    H.leftFail $
+      makeTransactionBodyAutoBalance
+        sbe
+        systemStart
+        epochInfo
+        pparams
+        mempty
+        mempty
+        mempty
+        undefined -- UTXO
+        content
+        undefined -- changeaddr
+        Nothing -- keys override
+
+  let tx = makeSignedTransaction witnesses txBody
+
+  submitTxToNodeLocal connectionInfo (TxInMode sbe tx)
+
+  H.failure

cardano-testnet/test/cardano-testnet-test/cardano-testnet-test.hs

@@ -5,6 +5,7 @@ module Main
   ) where
 
 import qualified Cardano.Crypto.Init as Crypto
+import qualified Cardano.Testnet.Test.Api.TxSupplementalDatum
 import qualified Cardano.Testnet.Test.Cli.Conway.Plutus
 import qualified Cardano.Testnet.Test.Cli.KesPeriodInfo
 import qualified Cardano.Testnet.Test.Cli.Query
@@ -74,6 +75,8 @@ tests = do
             , T.testGroup "Plutus"
                 [ ignoreOnWindows "PlutusV3" Cardano.Testnet.Test.Cli.Conway.Plutus.hprop_plutus_v3]
            ]
+        , T.testGroup "API"
+        [ignoreOnWindows "transaction with supplemental datum" Cardano.Testnet.Test.Api.TxSupplementalDatum.hprop_tx_supp_datum]
         , T.testGroup "CLI"
           [ ignoreOnWindows "Shutdown" Cardano.Testnet.Test.Node.Shutdown.hprop_shutdown
           -- ShutdownOnSigint fails on Mac with