我正在使用PexSymbolicValue.GetPathConditionString（）来获取PexMethods中的路径条件。我发现有一个方法PexSymbolicValue.GetRawPathConditionString（）以S表达式格式获取路径条件，但我找不到其输出中使用的符号的引用。 此输出的示例： “（Ceq（Ceq节点null）0）\ r \ n（Ceq（Ceq（选择下一个节点）null）0）\ r \ n（Clt（添加（选择elem节点）（Mul（选择elem（选择下一个节点）） ）-1））1）\ r \ n“
答案 0 :(得分：0)
ECMA-335标准公共语言基础结构（CLI）分区I至VI http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdf
中提供了所有这些符号的说明