test-check

lread 2022-09-02T14:55:26.081949Z

@huahaiy are you using size-bounded-bigint? I find it a bit oddly named in that it does not always return BigIntegers. I’m not sure about for-all but you can use fmap to force all to BigInteger like so:

(gen/sample (gen/fmap bigint gen/size-bounded-bigint))
;; => (0N -41N -63N -58752N -421N -2818692N -6449877661N -111911828N 2341N 4730362N)
Does that help at all?

Huahai 2022-09-02T19:46:57.076499Z

Thanks. Yeah, it sometimes return longs. I just used such-that to fill them out.