Improve genScriptData to generate larger range of numbers

for `ScriptDataNumber` constructor including numbers outside `maxBound @Word64`.
IntersectMBO · Mar 28, 2023 · f561c6c · f561c6c
1 parent e23004f
commit f561c6c
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs b/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs
@@ -238,14 +238,21 @@ genScriptData =
         , ScriptDataBytes  <$> genByteString
         ]
         -- The Gen.recursive combinator calls these with the size halved
-        [ ScriptDataConstructor <$> genInteger
+        [ ScriptDataConstructor <$> genConstructorInteger
                                 <*> genScriptDataList
         , ScriptDataList <$> genScriptDataList
         , ScriptDataMap  <$> genScriptDataMap
         ]
   where
     genInteger :: Gen Integer
     genInteger = Gen.integral
+                  (Range.linear
+                    (-fromIntegral (maxBound :: Word64) :: Integer)
+                    (2 * fromIntegral (maxBound :: Word64) :: Integer))
+
+
+    genConstructorInteger :: Gen Integer
+    genConstructorInteger = Gen.integral
                   (Range.linear
                     0 -- TODO: Alonzo should be -> (-fromIntegral (maxBound :: Word64) :: Integer)
                       -- Wrapping bug needs to be fixed in Plutus library