我有一个我想测试的财产Stuff,其中之一Stuff满足特定财产。我有一种产生的方法Stuff满足该财产,以及一种生成的方式Stuff那不是。今天,我正在做这样的事情(是的,我在C#中使用FSCHECK):IEnumerableGetStuffCollection(intinput){yieldreturnGenerateStuffSatisfyingProperty(input);yieldreturnGenerateStuffNotSatisfyingProperty(input);}[Fact]publicvoidPropertyForCollectionHolds(){Prop.For