我試圖用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.