PexAssume.Fail Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework
Assembly:
Microsoft.Pex.Framework.dll

Overloads

Fail()

The test case failes unconditionally.
Fail(String)

The test case failes unconditionally, with a specified message in the exception object.
Fail(String, Object[])

The test case failes unconditionally, with a specified message in the exception object.

Fail()

The test case failes unconditionally.

public:
 static void Fail();
public static void Fail ();
static member Fail : unit -> unit
Public Shared Sub Fail ()

Exceptions

PexAssumeFailedException

Always.

Applies to

Fail(String)

The test case failes unconditionally, with a specified message in the exception object.

public:
 static void Fail(System::String ^ message);
public static void Fail (string message);
static member Fail : string -> unit
Public Shared Sub Fail (message As String)

Parameters

message
String

A message string.

Exceptions

PexAssumeFailedException

Always.

Applies to

Fail(String, Object[])

The test case failes unconditionally, with a specified message in the exception object.

public:
 static void Fail(System::String ^ format, ... cli::array <System::Object ^> ^ args);
public static void Fail (string format, params object[] args);
static member Fail : string * obj[] -> unit
Public Shared Sub Fail (format As String, ParamArray args As Object())

Parameters

format
String

A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the args array.

args
Object[]

One or more variables, whose values are to be inserted in the format string.

Exceptions

PexAssumeFailedException

Always.

Applies to