PexAssume.Fail Method

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.

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.

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.