add qc test for phashDatum

agora-specs/Property/Utils.hs

@@ -0,0 +1,39 @@
+module Property.Utils (props) where
+
+import Agora.Utils (phashDatum)
+import Cardano.Prelude (ByteString)
+import Plutarch.Api.V2 (datumHash)
+import Plutarch.Test.QuickCheck (
+  Equality (OnPEq),
+  Partiality (ByComplete),
+  haskEquiv',
+ )
+import Plutarch.Test.QuickCheck.Instances ()
+import PlutusCore.Data (Data (B))
+import PlutusLedgerApi.V1 (Datum (Datum))
+import PlutusLedgerApi.V2 (BuiltinData (BuiltinData), DatumHash)
+import Test.Tasty (TestTree, adjustOption)
+import Test.Tasty.QuickCheck (
+  Property,
+  QuickCheckTests,
+  testProperty,
+ )
+
+propHashDatumCorrect :: Property
+propHashDatumCorrect =
+  haskEquiv'
+    @'OnPEq
+    @'ByComplete
+    hashDatum
+    phashDatum
+  where
+    hashDatum :: ByteString -> DatumHash
+    hashDatum = datumHash . Datum . BuiltinData . B
+
+props :: [TestTree]
+props =
+  [ adjustOption go $ testProperty "Correct 'phashDatum'" propHashDatumCorrect
+  ]
+  where
+    go :: QuickCheckTests -> QuickCheckTests
+    go = max 20_000

agora-specs/Spec/Utils.hs

@@ -7,7 +7,8 @@ Tests for utility functions in 'Agora.Utils'.
 -}
 module Spec.Utils (tests) where
 
-import Test.Tasty (TestTree)
+import Property.Utils qualified as Props
+import Test.Tasty (TestTree, testGroup)
 
 tests :: [TestTree]
-tests = []
+tests = [testGroup "properties" Props.props]

agora.cabal

@@ -194,6 +194,7 @@ library agora-specs
   exposed-modules:
     Property.Generator
     Property.Governor
+    Property.Utils
     Sample.AuthorityToken.UnauthorizedMintingExploit
     Sample.Effect.GovernorMutation
     Sample.Effect.TreasuryWithdrawal