Test cardano-testnet executable

cardano-testnet/cardano-testnet.cabal

@@ -209,6 +209,7 @@ test-suite cardano-testnet-test
                         Cardano.Testnet.Test.Gov.TreasuryDonation
                         Cardano.Testnet.Test.Gov.TreasuryGrowth
                         Cardano.Testnet.Test.Gov.TreasuryWithdrawal
+                        Cardano.Testnet.Test.CommandLineExecutable
                         Cardano.Testnet.Test.Misc
                         Cardano.Testnet.Test.Node.Shutdown
                         Cardano.Testnet.Test.SanityCheck

cardano-testnet/src/Parsers/Cardano.hs

@@ -11,6 +11,7 @@ import           Prelude
 
 import           Control.Applicative
 import           Data.Default.Class
+import           Data.Foldable
 import           Data.Functor
 import qualified Data.List as L
 import           Data.Word (Word64)

cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/CommandLineExecutable.hs

@@ -0,0 +1,71 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module Cardano.Testnet.Test.CommandLineExecutable
+  ( hprop_cardano_testnet_executable
+  ) where
+
+import           Control.Monad
+import           Control.Monad.IO.Class (liftIO)
+import           Data.Aeson (decodeFileStrict', encodeFile, (.=))
+import           Data.Aeson.Types (Value (Object))
+import           Data.Maybe (fromJust)
+import           Data.Time.Clock (addUTCTime, getCurrentTime)
+import           Data.Time.Format (defaultTimeLocale, formatTime)
+import           System.Directory
+import           System.Exit (ExitCode (..))
+import           System.FilePath
+import           System.IO (hClose, hGetContents)
+import           System.Process
+
+import           Testnet.Property.Util (integrationWorkspace)
+
+import           Hedgehog
+import qualified Hedgehog as H
+import qualified Hedgehog.Extras as H
+
+{- HLINT ignore "Use uncurry" -}
+
+-- | Function to update the @systemStart@ field of the Shelley genesis
+updateSystemStart :: Value -> IO Value
+updateSystemStart (Object obj) = do
+  currentTime <- getCurrentTime
+  let futureTime = addUTCTime 15 currentTime
+      formattedTime = formatTime defaultTimeLocale "%Y-%m-%dT%H:%M:%SZ" futureTime
+  return $ Object (obj <> ("systemStart" .= formattedTime))
+updateSystemStart _ = error "Expected a JSON object"
+
+-- | Test the `cardano-testnet` executable
+-- Execute me with:
+-- @cabal test cardano-testnet-test --test-options '-p "/cardano-testnet-executable/"'@
+hprop_cardano_testnet_executable :: Property
+hprop_cardano_testnet_executable = integrationWorkspace "cardano-testnet-executable" $ \tempAbsBasePath -> H.runWithDefaultWatchdog_ $ do
+  -- Install configuration and genesis files
+  let referenceInputsFileDir = "test/cardano-testnet-test/files/input/executable"
+      allFiles = ["configuration.json", "alonzo-genesis.json", "byron-genesis.json", "conway-genesis.json", "shelley-genesis.json"]
+  liftIO $ forM_ allFiles $ \file -> copyFile (referenceInputsFileDir </> file) (tempAbsBasePath </> file)
+  -- Amend the start time in the Genesis configuration file
+  let shelleyGenesisFilePath = tempAbsBasePath </> "shelley-genesis.json"
+  genesisValue <- liftIO $ fromJust <$> decodeFileStrict' shelleyGenesisFilePath
+  updatedGenesisValue <- liftIO $ updateSystemStart genesisValue
+  liftIO $ encodeFile shelleyGenesisFilePath updatedGenesisValue
+
+  -- Alright, all files are in place, let's start the node:
+  let cmd = ("cabal", [ "run", "cardano-testnet", "--", "cardano"
+                      , "--node-config", tempAbsBasePath </> "configuration.json"
+                      , "--testnet-magic", "44"])
+      cmdString = unwords $ fst cmd : snd cmd
+  (_, Just hout, Just herr, ph) <- liftIO $ createProcess (uncurry proc cmd) { std_out = CreatePipe, std_err = CreatePipe }
+  exitCode <- liftIO $ waitForProcess ph
+  stdOut <- liftIO $ hGetContents hout
+  stdErr <- liftIO $ hGetContents herr
+  case exitCode of
+    ExitSuccess ->
+      H.note_ $ "Command succeeded: " <> cmdString
+    ExitFailure code -> do
+      H.note_ $ "Command failed with exit code " ++ show code ++ ": " <> cmdString
+      unless (null stdOut) $ H.note_ $ "stdout: " <> stdOut
+      unless (null stdErr) $ H.note_ $ "stderr: " <> stdErr
+      H.assert False
+  liftIO $ do
+    hClose hout
+    hClose herr

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

@@ -4,6 +4,7 @@ module Main
   ( main
   ) where
 
+
 import qualified Cardano.Crypto.Init as Crypto
 import qualified Cardano.Testnet.Test.Cli.Conway.Plutus
 import qualified Cardano.Testnet.Test.Cli.KesPeriodInfo
@@ -12,6 +13,7 @@ import qualified Cardano.Testnet.Test.Cli.QuerySlotNumber
 import qualified Cardano.Testnet.Test.Cli.StakeSnapshot
 import qualified Cardano.Testnet.Test.Cli.Transaction
 import qualified Cardano.Testnet.Test.Cli.Transaction.RegisterDeregisterStakeAddress
+import qualified Cardano.Testnet.Test.CommandLineExecutable
 import qualified Cardano.Testnet.Test.FoldEpochState
 import qualified Cardano.Testnet.Test.Gov.CommitteeAddNew as Gov
 import qualified Cardano.Testnet.Test.Gov.DRepDeposit as Gov
@@ -76,6 +78,7 @@ tests = do
            ]
         , T.testGroup "CLI"
           [ ignoreOnWindows "Shutdown" Cardano.Testnet.Test.Node.Shutdown.hprop_shutdown
+          , ignoreOnWindows "cardano-testnet-executable" Cardano.Testnet.Test.CommandLineExecutable.hprop_cardano_testnet_executable
           -- ShutdownOnSigint fails on Mac with
           -- "Log file: /private/tmp/tmp.JqcjW7sLKS/kes-period-info-2-test-30c2d0d8eb042a37/logs/test-spo.stdout.log had no logs indicating the relevant node has minted blocks."
           , ignoreOnMacAndWindows "Shutdown On Sigint" Cardano.Testnet.Test.Node.Shutdown.hprop_shutdownOnSigint