Last active
May 29, 2016 12:53
-
-
Save rexcfnghk/bcec6944607eaa81a086f34162c39a17 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open FsCheck | |
| open FsCheck.Xunit | |
| open Swensen.Unquote | |
| [<Property>] | |
| let ``tryConvertToChar converts successfully for one-character string`` () = | |
| let validStringArb = | |
| Arb.generate<char> | |
| |> Gen.map string | |
| |> Arb.fromGen | |
| Prop.forAll validStringArb <| fun s -> | |
| test <@ match tryConvertToChar s with Success _ -> true | Error _ -> false @> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment