Header menu logo FsCheck

PropertyTestCase Type

The xUnit.v3 test runner for the PropertyAttribute that executes the test via FsCheck

Constructors

Constructor Description

PropertyTestCase(testMethod, testCaseDisplayName, uniqueID, explicit, ?skipException, ?skipReason, ?skipType, ?skipUnless, ?skipWhen, ?traits, ?testMethodArguments, ?sourceFilePath, ?sourceLineNumber, ?timeout)

Full Usage: PropertyTestCase(testMethod, testCaseDisplayName, uniqueID, explicit, ?skipException, ?skipReason, ?skipType, ?skipUnless, ?skipWhen, ?traits, ?testMethodArguments, ?sourceFilePath, ?sourceLineNumber, ?timeout)

Parameters:
    testMethod : IXunitTestMethod
    testCaseDisplayName : string
    uniqueID : string
    explicit : bool
    ?skipException : Type[]
    ?skipReason : string
    ?skipType : Type
    ?skipUnless : string
    ?skipWhen : string
    ?traits : Dictionary<string, HashSet<string>>
    ?testMethodArguments : obj[]
    ?sourceFilePath : string
    ?sourceLineNumber : int
    ?timeout : int

Returns: PropertyTestCase
testMethod : IXunitTestMethod
testCaseDisplayName : string
uniqueID : string
explicit : bool
?skipException : Type[]
?skipReason : string
?skipType : Type
?skipUnless : string
?skipWhen : string
?traits : Dictionary<string, HashSet<string>>
?testMethodArguments : obj[]
?sourceFilePath : string
?sourceLineNumber : int
?timeout : int
Returns: PropertyTestCase

Instance members

Instance member Description

this.Init

Full Usage: this.Init

Parameters:
Returns: Config
output : TestOutputHelper
Returns: Config

this.MakeInvoker

Full Usage: this.MakeInvoker

Returns: XunitTestCaseRunner

this.TestExec

Full Usage: this.TestExec

Parameters:
Returns: Async<RunSummary>
opts : ExplicitOption
buss : IMessageBus
ctorArgs : obj array
aggregator : ExceptionAggregator
cts : CancellationTokenSource
Returns: Async<RunSummary>

Type something to start searching.