2

プロパティベースのテストを実行するときに、テスト入力の条件を確立するにはどうすればよいですか?

たとえば、次のコードは、int が必要なときに bool を生成します。

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

適格なintを取得するには、次のようなものが必要です。

Gen.filter (fun v -> v > 0)

ただし、これにはオプションがありません。

助言がありますか？

4

1 に答える 1

1

試すGen.suchThat (fun v -> v > 0)

于 2016-05-12T15:12:51.020 に答える