f# - FsCheck に Arbitrary インスタンスを登録し、xUnit に使用させるにはどうすればよいですか?

Question

正のフィールドと というフィールドを持つタイプAverageがあります。countint64doublesum

で有効なインスタンスを生成する任意のものを作成しました

 let AverageGen = Gen.map2 (fun s c -> Average(float(s),int64(int(c))) (Arb.Default.NormalFloat().Generator)  (Arb.Default.PositiveInt().Generator) |> Arb.fromGen

PropertyこれをxUnitのスタイル テストで Average 型の引数を生成するにはどうすればよいですか?

[<Property>]
static member average_test(av:Average) = ...

Answer 1

type Generators =
    static member TestCase() =
        { new Arbitrary<TestCase>() with
            override x.Generator =
                gen { ...
                      return TestCase(...) }}

[<Property(Arbitrary=[|typeof<Generators>|])>]