Draft a test to check the blueprint transaction

hydra-node/test/Hydra/Chain/Direct/TxSpec.hs

@@ -36,21 +36,23 @@ import Hydra.Contract.Initial qualified as Initial
 import Hydra.Ledger.Cardano (adaOnly, genOneUTxOFor, genVerificationKey)
 import Hydra.Ledger.Cardano.Evaluate (EvaluationReport, maxTxExecutionUnits)
 import Hydra.Party (Party)
+import Test.Hydra.Fixture (testHeadId)
 import Test.QuickCheck (
   Property,
   choose,
   counterexample,
   elements,
   forAll,
   forAllBlind,
+  generate,
   label,
   property,
   vectorOf,
   withMaxSuccess,
   (===),
  )
 import Test.QuickCheck.Instances.Semigroup ()
-import Test.QuickCheck.Monadic (monadicIO)
+import Test.QuickCheck.Monadic (assert, monadicIO, run)
 import Test.QuickCheck.Property (checkCoverage)
 
 spec :: Spec
@@ -140,6 +142,17 @@ spec =
                         & counterexample "Failed to construct and observe init tx."
                         & counterexample (renderTx tx)
                         & counterexample (show e)
+    describe "commitTx" $ do
+      prop "Appends needed commit changes to blueprintTx" $ \blueprintTx -> monadicIO $ do
+        scriptRegistry <- run $ generate genScriptRegistry
+        party <- run $ generate arbitrary
+        utxoToCommit <- run $ generate arbitrary
+        initialInput <- run $ generate arbitrary
+        out <- run $ generate arbitrary
+        vkh <- run $ generate arbitrary
+        let tx = commitTx testNetworkId scriptRegistry testHeadId party utxoToCommit blueprintTx (initialInput, out, vkh)
+        -- TODO: assert all untouched tx fields are equal
+        assert $ blueprintTx == tx
 
 withinTxExecutionBudget :: EvaluationReport -> Property
 withinTxExecutionBudget report =