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.xUnitNUgetをインストールします
  • そのコードをfsファイルに入れます
  • テストを実行します
4

0 に答える 0