如何在执行基于属性的测试时建立测试输入的条件？

Question

如何在执行基于属性的测试时建立测试输入条件？

例如，下面的代码生成布尔变量，当我需要整型：

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) 

但是，我只是没有看到这个选项。

有什么建议吗？

Answer 1

尝试Gen.suchThat (fun v -> v > 0)