Fix phashDatum property

agora-specs/Property/Utils.hs

@@ -1,34 +1,32 @@
 module Property.Utils (props) where
 
 import Agora.Utils (phashDatum)
-import Cardano.Prelude (ByteString)
+import Generics.SOP (NP (Nil, (:*)))
 import Plutarch.Api.V2 (datumHash)
 import Plutarch.Test.QuickCheck (
   Equality (OnPEq),
   Partiality (ByComplete),
-  haskEquiv',
+  TestableTerm (TestableTerm),
+  arbitraryPLift,
+  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,
+  resize,
   testProperty,
  )
 
 propHashDatumCorrect :: Property
 propHashDatumCorrect =
-  haskEquiv'
+  haskEquiv
     @'OnPEq
     @'ByComplete
-    hashDatum
+    datumHash
-    phashDatum
+    (TestableTerm phashDatum)
-  where
+    (resize 5 arbitraryPLift :* Nil)
-    hashDatum :: ByteString -> DatumHash
-    hashDatum = datumHash . Datum . BuiltinData . B
 
 props :: [TestTree]
 props =