PexSymbolicValue.GetRawPathConditionString（）中符号的含义是什么？
我正在使用PexSymbolicValue.GetPathConditionString（）获取PexMethods中的路径条件。我发现有一个方法PexSymbolicValue.GetRawPathConditionString（）以S表达式格式获取路径条件，但我找不到其输出中使用的符号的引用。 此输出的示例：PexSymbolicValue.GetRawPathConditionString（）中符号的含义是什么？,pex,s-expression,Pex,S Expression,我正在使用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）（Mu
“（Ceq（Ceq node null）0）\r\n（Ceq（Ceq（select next node）null）0）\r\n（Clt（Add（select elem node）（Mul（select elem（select next node））-1）\r\n”所有这些符号的描述在ECMA-335标准公共语言基础设施（CLI）分区I到VI中提供