2

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

例如，当我需要整数时，以下代码会生成布尔值：

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)

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

有什么建议么？

4

1 回答 1

1

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

于 2016-05-12T15:12:51.020 回答