Update tests

input-output-hk · Nov 29, 2022 · bdb3b34 · bdb3b34
1 parent 8d714ed
commit bdb3b34
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/marlowe-runtime/web-server-test/Spec.hs b/marlowe-runtime/web-server-test/Spec.hs
@@ -69,6 +69,27 @@ instance Arbitrary Web.ContractState where
     <*> arbitrary
   shrink = genericShrink
 
+instance Arbitrary Web.Tx where
+  arbitrary = Web.Tx
+    <$> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    -- size of 6 will result in a 1-layer deep contract being generated (this is
+    -- all we care about for the purposes of schema checking).
+    <*> resize 6 arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> resize 6 arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+    <*> arbitrary
+  shrink = genericShrink
+
 instance Arbitrary Web.PostContractsRequest where
   arbitrary = Web.PostContractsRequest
     <$> arbitrary