Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexSymbolicValue::GetPathConditionString Method ()

 

Gets a textual representation of the path condition at this point.

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

public:
static String^ GetPathConditionString()

Return Value

Type: System::String^

Returns String.

Return to top
Show: