1

使用 xUnit 运行 FsCheck 中最简单的测试

open FsCheck

[<Property>]
let revRevIsOrig (xs:list<int>) = 
        List.rev(List.rev xs) = xs

我收到异常

---- System.InvalidCastException : Unable to cast object of type 'FsList@303[System.Int32]' 
to type 'FsCheck.Arbitrary`1[Microsoft.FSharp.Collections.FSharpList`1[System.Int32]]'.

我试图捕捉异常并调试,但发生在之前有人知道如何解决这个问题吗?

重现方式:

  • 做一个新项目
  • 安装 FsCheck.xUnit NUget
  • 将该代码放入 fs 文件中
  • 运行测试
4

0 回答 0