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::GetRawPathConditionString 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^ GetRawPathConditionString()

Return Value

Type: System::String^

Returns String.

Return to top
Show: