我设法得到了xUnit,它可以处理我的小样本程序集。现在我想看看我能不能也FsCheck。我的问题是,当我为我的函数定义测试属性时,我很难过。 也许我只是没有一个很好的示例函数集,但是对于这些函数,什么样的测试属性会很好呢? //transforms [1;2;3;4] into [(1,2);(3,4)]
pairs : 'a list -> ('a * 'a) list //'
//s
测试我试图让测试使用FsCheck 此功能 let extract_one_rule (rule:Rule.t<'a,'b>) =
let rec expand = function
|PAlt (a,b) -> expand a @ expand b
|PSeq (a,b) -> let wrap = List.map (fun x -> (x.rule, fu
名单我已经测试一个类型的属性可以成功地轮跳闸,JSON和背部。 let roundTrip<'a when 'a : equality> (x: 'a) = (toJSON >> ofJSON) x = x
,我目前通过调用 Check.Quick roundTrip<TypeName>
我想什么运行是能够运行这个属性上的类型,我通过反射得到的列表(扫描我的组装,因为我知道类型必须JSON
我有一个类型Average与字段count这是积极的int64和double字段sum。 我做了与 let AverageGen = Gen.map2 (fun s c -> Average(float(s),int64(int(c))) (Arb.Default.NormalFloat().Generator) (Arb.Default.PositiveInt().Generator) |> A