0
PexMethods 내에서 경로 조건을 가져 오기 위해 PexSymbolicValue.GetPathConditionString()을 사용하고 있습니다. 거기에 PexSymbolicValue.GetRawPathConditionString() S- 표현 형식으로 경로 조건을 가져 오는 메서드가 있지만 해당 출력에서 사용되는 기호 참조를 찾을 수 없습니다.이 출력의 샘플 : "(Ceq (노드 다음 선택) null) 0) \ r \ n (Clt (노드 선택 (노드 선택) (Mul (노드 선택) 선택 ELEM (다음 노드를 선택)) -1)) 1) \ 연구 \ n "은 이러한 모든 기호PexSymbolicValue.GetRawPathConditionString()의 기호 의미는 무엇입니까?