0
Я использую PexSymbolicValue.GetPathConditionString(), чтобы получить состояние пути в PexMethods. Я обнаружил, что существует метод PexSymbolicValue.GetRawPathConditionString(), который получает условия пути в формате S-выражения, но я не могу найти ссылку на символы, используемые в его выходе. Пример этого вывода: "(Ceq (узел Ceq null) 0) \ r \ n (Ceq (Ceq (выберите следующий узел) null) 0) \ r \ n (Clt (Добавить (выберите элемент elem) (Mul (выберите элем (выбрать следующий узел)) -1)) 1) \ г \ п»В чем смысл символов в PexSymbolicValue.GetRawPathConditionString()?