Merge pull request #99 from mlabs-haskell/euonymos/ms4-report

update MS4 report
mlabs-haskell · Sep 3, 2024 · c88e383 · c88e383
2 parents 6cea49b + 93f0ba8
commit c88e383
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 3 deletions.
diff --git a/docs/catalyst_milestone_reports.md b/docs/catalyst_milestone_reports.md
@@ -53,10 +53,11 @@ Understanding state transitions and the overall system flow is critical for ensu
 
 Catalyst Milestone Outputs:
 
-* Plutarch on-chain code generation and optimisation ([PR](https://github.com/mlabs-haskell/cem-script/pull/94))
+* Static DSL for constraints and Plutarch on-chain code generation and optimisation ([PR#96](https://github.com/mlabs-haskell/cem-script/pull/96))
 * Profiling implementation ([PR](https://github.com/mlabs-haskell/cem-script/pull/95))
 * Profiling performed for old (using Plutus) and new (using Plutarch) code generator.
   New one showed advantage over first one in all fees measured, and in some cases in order of magntude.
+* A [video](https://drive.google.com/file/d/1720CsrdQFnpzA2ODDJuu6WK3thmEnE30/view?usp=sharing) that summarizes the outcomes achieved in the milestone.
 
 ## Profiling results
 
@@ -121,7 +122,7 @@ Voting flow (fails exceeding Tx limits on second vote):
 
 ### New (Plutarch with user-defined Plutus logic pieces) backend
 
-Auction: 
+Auction:
 
 ```
   [ ( "BuyoutSpine"

diff --git a/test/Auction.hs b/test/Auction.hs
@@ -18,7 +18,8 @@ import PlutusLedgerApi.V1.Value (assetClassValue)
 import Test.Hspec (describe, it, shouldBe)
 
 import TestNFT (testNftAssetClass)
-import Utils (execClb, mintTestTokens, submitAndCheck)
+import Utils (execClb, mintTestTokens, submitAndCheck, perTransitionStats)
+import Text.Show.Pretty (ppShow)
 
 auctionSpec = describe "AuctionSpec" $ do
   it "Serialise" $ do
@@ -226,3 +227,6 @@ auctionSpec = describe "AuctionSpec" $ do
             ]
         , specSigner = bidder1
         }
+
+    stats <- perTransitionStats
+    liftIO $ putStrLn $ ppShow stats
diff --git a/test/Voting.hs b/test/Voting.hs
@@ -79,5 +79,8 @@ votingSpec = describe "Voting" $ do
           , specSigner = creator
           }
 
+      stats <- perTransitionStats
+      liftIO $ putStrLn $ ppShow stats
+
       Just state <- queryScriptState params
       liftIO $ state `shouldBe` Finalized Abstain