cardano-cli-golden: protect test/cardano-cli-golden/files/golden/shel…

…ley/stake-address/reg-certificate-2.json by a semaphore
IntersectMBO · Feb 4, 2025 · f6bd784 · f6bd784
1 parent 2427f53
commit f6bd784
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 7 deletions.
diff --git a/...o-cli/test/cardano-cli-golden/Test/Golden/Shelley/StakeAddress/RegistrationCertificate.hs b/...o-cli/test/cardano-cli-golden/Test/Golden/Shelley/StakeAddress/RegistrationCertificate.hs
@@ -12,6 +12,11 @@ import qualified Hedgehog.Extras.Test.Base as H
 import qualified Hedgehog.Extras.Test.Golden as H
 import qualified Hedgehog.Extras.Test.Process as H
 
+-- | Semaphore protecting against locked file error, when running properties concurrently.
+regCertificate2Sem :: FileSem
+regCertificate2Sem = newFileSem "test/cardano-cli-golden/files/golden/shelley/stake-address/reg-certificate-2.json"
+{-# NOINLINE regCertificate2Sem #-}
+
 {- HLINT ignore "Use camelCase" -}
 
 hprop_golden_shelley_stake_address_registration_certificate :: Property
@@ -77,7 +82,7 @@ hprop_golden_shelley_stake_address_registration_certificate_with_build_raw = pro
 
   goldenFile1 <-
     H.note "test/cardano-cli-golden/files/golden/shelley/stake-address/reg-certificate-2.json"
-  H.diffFileVsGoldenFile registrationCertFile goldenFile1
+  bracketSem regCertificate2Sem $ H.diffFileVsGoldenFile goldenFile1
 
   void $
     execCardanoCLI

diff --git a/cardano-cli/test/cardano-cli-test/Test/Cli/Shelley/Transaction/Compatible/Build.hs b/cardano-cli/test/cardano-cli-test/Test/Cli/Shelley/Transaction/Compatible/Build.hs
@@ -18,6 +18,8 @@ import           Test.Cardano.CLI.Util
 import           Hedgehog
 import qualified Hedgehog.Extras as H
 
+import           Test.Golden.Shelley.StakeAddress.RegistrationCertificate (regCertificate2Sem)
+
 inputDir :: FilePath
 inputDir = "test/cardano-cli-test/files/input/shelley/transaction"
 
@@ -36,8 +38,6 @@ hprop_compatible_conway_transaction_build_one_voter_many_votes = propertyOnce $
         , "addr_test1vpfwv0ezc5g8a4mkku8hhy3y3vp92t7s3ul8g778g5yegsgalc6gc+24910487859"
         , "--fee"
         , "178569"
-        , "--certificate-file"
-        , "test/cardano-cli-golden/files/golden/shelley/stake-address/reg-certificate-2.json"
         , "--certificate-script-file"
         , "test/cardano-cli-golden/files/input/AlwaysSucceeds.plutus"
         , "--certificate-redeemer-value"
@@ -47,27 +47,31 @@ hprop_compatible_conway_transaction_build_one_voter_many_votes = propertyOnce $
         ]
 
   -- reference transaction
-  _ <-
+  _ <- bracketSem regCertificate2Sem $ \regFile ->
     execCardanoCLI $
       [ eraName
       , "transaction"
       , "build-raw"
       ]
         <> args
-        <> [ "--out-file"
+        <> [ "--certificate-file"
+           , regFile
+           , "--out-file"
            , refOutFile
            ]
 
   -- tested compatible transaction
-  _ <-
+  _ <- bracketSem regCertificate2Sem $ \regFile ->
     execCardanoCLI $
       [ "compatible"
       , eraName
       , "transaction"
       , "signed-transaction"
       ]
         <> args
-        <> [ "--out-file"
+        <> [ "--certificate-file"
+           , regFile
+           , "--out-file"
            , outFile
            ]