Auction spec fixes and better test

uhbif19 · May 28, 2024 · 872d490 · 872d490
1 parent 311fd05
commit 872d490
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/Cardano/CEM/Examples/Auction.hs b/src/Cardano/CEM/Examples/Auction.hs
@@ -105,7 +105,7 @@ instance CEMScript SimpleAuction where
                   (SumValueEq $ lot params)
               , nextState NotStarted
               ]
-          , signers = [seller params]
+          , signers = []
           }
     (Just NotStarted, Start) ->
       Right

diff --git a/test/Auction.hs b/test/Auction.hs
@@ -201,6 +201,18 @@ auctionSpec = describe "Auction" $ do
     Just (CurrentBid currentBid) <- queryScriptState auctionParams
     liftIO $ currentBid `shouldBe` bid1
 
+    submitAndCheck $
+      MkTxSpec
+        { actions =
+            [ MkSomeCEMAction $
+                MkCEMAction
+                  auctionParams
+                  ( MakeBid $ MkBet (signingKeyToPKH bidder1) 4_000_000
+                  )
+            ]
+        , specSigner = bidder1
+        }
+
     submitAndCheck $
       MkTxSpec
         { actions =