test(standing_bid): add property tests for ConcludeAuction redeemer

- run tests in parallel

Author: errfrom

hydra-auction-onchain.cabal

@@ -153,6 +153,7 @@ test-suite hydra-auction-onchain-test
   type:           exitcode-stdio-1.0
   hs-source-dirs: test
   main-is:        Spec.hs
+  ghc-options:    -threaded -rtsopts -with-rtsopts=-N
   other-modules:
     Spec.HydraAuctionOnchain.Expectations
     Spec.HydraAuctionOnchain.Helpers

src/HydraAuctionOnchain/Validators/AuctionEscrow.hs

@@ -1,7 +1,13 @@
 {-# LANGUAGE TemplateHaskell #-}
 
 module HydraAuctionOnchain.Validators.AuctionEscrow
-  ( auctionEscrowValidator
+  ( PAuctionEscrowRedeemer
+      ( StartBiddingRedeemer
+      , BidderBuysRedeemer
+      , SellerReclaimsRedeemer
+      , CleanupAuctionRedeemer
+      )
+  , auctionEscrowValidator
   , pisConcluding
   ) where
 

test/Spec/HydraAuctionOnchain/Helpers.hs

@@ -1,6 +1,7 @@
 module Spec.HydraAuctionOnchain.Helpers
   ( hashVerificationKey
   , intervalFiniteClosedOpen
+  , mkAuctionEscrowTokenValue
   , mkStandingBidTokenValue
   , serialise
   ) where
@@ -44,6 +45,9 @@ intervalFiniteClosedOpen a b =
 mkStandingBidTokenValue :: CurrencySymbol -> Value
 mkStandingBidTokenValue cs = Value.singleton cs "STANDING_BID" 1
 
+mkAuctionEscrowTokenValue :: CurrencySymbol -> Value
+mkAuctionEscrowTokenValue cs = Value.singleton cs "AUCTION" 1
+
 {-# INLINEABLE serialise #-}
 serialise :: ToData a => a -> BuiltinByteString
 serialise = serialiseData . toBuiltinData

test/Spec/HydraAuctionOnchain/Types/Redeemers.hs

@@ -3,14 +3,48 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Spec.HydraAuctionOnchain.Types.Redeemers
-  ( StandingBidRedeemer (NewBidRedeemer, MoveToHydraRedeemer, ConcludeAuctionRedeemer)
+  ( AuctionEscrowRedeemer
+      ( StartBiddingRedeemer
+      , BidderBuysRedeemer
+      , SellerReclaimsRedeemer
+      , CleanupAuctionRedeemer
+      )
+  , StandingBidRedeemer (NewBidRedeemer, MoveToHydraRedeemer, ConcludeAuctionRedeemer)
   ) where
 
+import HydraAuctionOnchain.Validators.AuctionEscrow (PAuctionEscrowRedeemer)
 import HydraAuctionOnchain.Validators.StandingBid (PStandingBidRedeemer)
 import Plutarch.DataRepr (DerivePConstantViaData (DerivePConstantViaData))
 import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (PLifted))
 import PlutusTx (makeIsDataIndexed)
 
+--------------------------------------------------------------------------------
+-- AuctionEscrowRedeemer
+--------------------------------------------------------------------------------
+
+data AuctionEscrowRedeemer
+  = StartBiddingRedeemer
+  | BidderBuysRedeemer
+  | SellerReclaimsRedeemer
+  | CleanupAuctionRedeemer
+  deriving stock (Show, Eq)
+
+makeIsDataIndexed
+  ''AuctionEscrowRedeemer
+  [ ('StartBiddingRedeemer, 0)
+  , ('BidderBuysRedeemer, 1)
+  , ('SellerReclaimsRedeemer, 2)
+  , ('CleanupAuctionRedeemer, 3)
+  ]
+
+deriving via
+  (DerivePConstantViaData AuctionEscrowRedeemer PAuctionEscrowRedeemer)
+  instance
+    (PConstantDecl AuctionEscrowRedeemer)
+
+instance PUnsafeLiftDecl PAuctionEscrowRedeemer where
+  type PLifted PAuctionEscrowRedeemer = AuctionEscrowRedeemer
+
 --------------------------------------------------------------------------------
 -- Standing bid validator
 --------------------------------------------------------------------------------