Udostępnij za pośrednictwem


PexSymbolicValue.GetPathConditionString Method

Definition

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

public:
 static System::String ^ GetPathConditionString();
public static string GetPathConditionString ();
static member GetPathConditionString : unit -> string
Public Shared Function GetPathConditionString () As String

Returns

Applies to