我试图用FsCheck实现以下行为:我想创建一个生成器,该生成器将生成MyUnion类型的实例,每个字符串字段都是非-null /空。 type MyNestedUnion =
| X of string
| Y of int * string
type MyUnion =
| A of int * int * string * string
| B o
我试图学习如何正确使用FsCheck,并将它与Expecto整合在一起。如果我使用默认的FsCheck配置,我可以运行属性测试,但是当我尝试使用自己的Generator时,会导致堆栈溢出异常。 这里是我的发电机 type NameGen() =
static member Name() =
Arb.generate<string * string>
|> Gen.