module ExpectoUnqouteFsCheck

open Expecto
open Expecto.ExpectoFsCheck
open Swensen.Unquote

let tests =
    testList "FsCheck smaples" [
        testProperty "Addtion is commutative" <| fun a b ->
            a + b = b + a

        testProperty "Rev of Rec of list is the orginal list" <|
            fun (xs : list<int>) -> List.rev (List.rev xs) = xs
    ]

runTests defaultConfig tests |> ignore