fscheck - 如何使用 C# 中的 FsCheck 自定义生成器？

Question

我有以下代码:

var gen = from x in Arb.Generate<int>()
from int y in Gen.Choose(5, 10)
where x > 5
select new tuple { Fst = x, Snd = y };

我可以跑

Prop.ForAll<tuple>(c =>
      Console.WriteLine($"{c.Fst}, {c.Snd}")
).Check(Configuration.Default);

我看到了所有构造生成器和定义属性的方法。

但我只是没有足够快地找到如何将它们一起使用。

Answer 1

您需要使用 FsCheck 注册自定义生成器。参见 FSCheck docs .

简而言之，创建一个类来保存您的自定义生成器。有一个公共(public)静态方法返回 Arbitrary<T>其中 T是您要生成的类型。

在您的示例中，您需要将生成器包装在对 Arb.From(...) 的调用中.

public class MyGenerators {
    public static Arbitrary<tuple> Tuple() {
        return Arb.From(from x in Arb.Generate<int>()
                        from int y in Gen.Choose(5, 10)
                        where x > 5
                        select new tuple { Fst = x, Snd = y });
    }
}

最后，调用Arb.Register<MyGenerators>()在运行测试之前。