-
-
Notifications
You must be signed in to change notification settings - Fork 96
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
65 additions
and
57 deletions.
There are no files selected for viewing
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,57 +1,65 @@ | ||
| namespace Expecto | ||
|
|
||
| open System | ||
| open global.FsCheck | ||
|
|
||
| [<AutoOpen; CompilationRepresentationAttribute(CompilationRepresentationFlags.ModuleSuffix)>] | ||
| module ExpectoFsCheck = | ||
| open Expecto | ||
| open Expecto.Helpers | ||
| open Expecto.Impl | ||
| open global.FsCheck | ||
| open global.FsCheck.Runner | ||
|
|
||
| let internal (|Ignored|_|) (e: exn) = | ||
| match e with | ||
| | :? IgnoreException as e -> Some e | ||
| | _ -> None | ||
|
|
||
| let internal wrapRunner (r : IRunner) = | ||
| { new IRunner with | ||
| member __.OnStartFixture t = r.OnStartFixture t | ||
| member __.OnArguments(ntest, args, every) = r.OnArguments(ntest, args, every) | ||
| member __.OnShrink(args, everyShrink) = r.OnShrink(args, everyShrink) | ||
| member __.OnFinished(name,testResult) = | ||
| match testResult with | ||
| | FsCheck.TestResult.True _ -> r.OnFinished(name, testResult) | ||
| | FsCheck.TestResult.False (_,_,_, Outcome.Exception (Ignored e),_) -> raise e | ||
| | _ -> failtest (onFinishedToString name testResult) | ||
| } | ||
|
|
||
| let internal config = | ||
| { Config.Default with | ||
| Runner = wrapRunner Config.Default.Runner } | ||
|
|
||
| let testPropertyWithConfig (config: Config) name property = | ||
| let config = | ||
| { config with | ||
| Runner = wrapRunner config.Runner } | ||
| testCase name <| | ||
| fun _ -> | ||
| //ignore Runner.init.Value | ||
| FsCheck.Check.One(name, config, property) | ||
|
|
||
| let testProperty name = testPropertyWithConfig config name | ||
|
|
||
| type FsCheck = | ||
| static member Property(name, property: Func<_,bool>) = | ||
| testProperty name property.Invoke | ||
|
|
||
| static member Property(name, property: Func<_,_,bool>) = | ||
| testProperty name (fun a b -> property.Invoke(a,b)) | ||
|
|
||
| static member Property(name, property: Func<_,_,_,bool>) = | ||
| testProperty name (fun a b c -> property.Invoke(a,b,c)) | ||
|
|
||
| static member Property(name, property: Func<_,_,_,_,bool>) = | ||
| testProperty name (fun a b c d -> property.Invoke(a,b,c,d)) | ||
| namespace Expecto | ||
|
|
||
| open System | ||
| open global.FsCheck | ||
|
|
||
| [<AutoOpen; CompilationRepresentationAttribute(CompilationRepresentationFlags.ModuleSuffix)>] | ||
| module ExpectoFsCheck = | ||
| open Expecto | ||
| open Expecto.Helpers | ||
| open Expecto.Impl | ||
| open global.FsCheck | ||
| open global.FsCheck.Runner | ||
|
|
||
| let internal (|Ignored|_|) (e: exn) = | ||
| match e with | ||
| | :? IgnoreException as e -> Some e | ||
| | _ -> None | ||
|
|
||
| /// This running plugs into FsCheck and gives us the ability to | ||
| /// get called by the framework on start/finish of fixtues. | ||
| let internal wrapRunner (r : IRunner) = | ||
| { new IRunner with | ||
| member __.OnStartFixture t = | ||
| r.OnStartFixture t | ||
| member __.OnArguments(ntest, args, every) = | ||
| r.OnArguments(ntest, args, every) | ||
| member __.OnShrink(args, everyShrink) = | ||
| r.OnShrink(args, everyShrink) | ||
| member __.OnFinished(name,testResult) = | ||
| match testResult with | ||
| | FsCheck.TestResult.True _ -> | ||
| r.OnFinished(name, testResult) | ||
| | FsCheck.TestResult.False (_,_,_, Outcome.Exception (Ignored e),_) -> | ||
| raise e | ||
| | _ -> | ||
| failtest (onFinishedToString name testResult) | ||
| } | ||
|
|
||
| let internal config = | ||
| { Config.Default with | ||
| Runner = wrapRunner Config.Default.Runner } | ||
|
|
||
| let testPropertyWithConfig (config: Config) name property = | ||
| let config = | ||
| { config with | ||
| Runner = wrapRunner config.Runner } | ||
| testCase name <| | ||
| fun _ -> | ||
| //ignore Runner.init.Value | ||
| FsCheck.Check.One(name, config, property) | ||
|
|
||
| let testProperty name = testPropertyWithConfig config name | ||
|
|
||
| type FsCheck = | ||
| static member Property(name, property: Func<_,bool>) = | ||
| testProperty name property.Invoke | ||
|
|
||
| static member Property(name, property: Func<_,_,bool>) = | ||
| testProperty name (fun a b -> property.Invoke(a,b)) | ||
|
|
||
| static member Property(name, property: Func<_,_,_,bool>) = | ||
| testProperty name (fun a b c -> property.Invoke(a,b,c)) | ||
|
|
||
| static member Property(name, property: Func<_,_,_,_,bool>) = | ||
| testProperty name (fun a b c d -> property.Invoke(a,b,c,d)) |