在执行基于 属性 的测试时，如何在测试输入上建立条件？
How can I establish conditions on test inputs when performing Property-based testing?
如何在执行基于 属性 的测试时建立测试输入条件？
例如，当我需要整数时，下面的代码生成布尔值：
Gen.map (fun v -> v > 0)
函数如下：
[<Property(QuietOnSuccess = true)>]
let ``number of cells in grid equals rowcount squared`` () =
let values = Arb.generate<int> |> Gen.map (fun v -> v > 0)
|> Arb.fromGen
我需要这样的东西才能获得合格的整数：
Gen.filter (fun v -> v > 0)
但是，我没有看到这个选项。
有什么建议吗？
尝试Gen.suchThat (fun v -> v > 0)
如何在执行基于 属性 的测试时建立测试输入条件？
例如，当我需要整数时，下面的代码生成布尔值：
Gen.map (fun v -> v > 0)
函数如下：
[<Property(QuietOnSuccess = true)>]
let ``number of cells in grid equals rowcount squared`` () =
let values = Arb.generate<int> |> Gen.map (fun v -> v > 0)
|> Arb.fromGen
我需要这样的东西才能获得合格的整数：
Gen.filter (fun v -> v > 0)
但是，我没有看到这个选项。
有什么建议吗？
尝试Gen.suchThat (fun v -> v > 0)