0
我正在使用PexSymbolicValue.GetPathConditionString（）来获取PexMethods中的路径条件。我发现有一种方法PexSymbolicValue.GetRawPathConditionString（）以S表达式格式获取路径条件，但我找不到在其输出中使用的符号的引用。 （Ceq（Ceq node null）0）\ r \ n（Ceq（Ceq（select next node）null）0）\ r \ n（Clt（Add（select elem node）选择ELEM（选择下一个节点））-1））1）\ r \ n”个所有这些符号PexSymbolicValue.GetRawPathConditionString（）中符号的含义是什么？