pex - PexSymbolicValue.GetRawPathConditionString() の記号の意味は何ですか?

Question

PexSymbolicValue.GetPathConditionString() を使用して、PexMethods 内のパス条件を取得しています。S式形式でパス条件を取得するメソッド PexSymbolicValue.GetRawPathConditionString() があることがわかりましたが、その出力で使用されているシンボルの参照が見つかりません。この出力の例: 「(Ceq (Ceq node null) 0)\r\n(Ceq (Ceq(select next node) null)0)\r\n(Clt (Add (select elem node)(Mul (select elem) (次のノードを選択)) -1)) 1)\r\n"

Answer 1

これらすべてのシンボルの説明は、ECMA-335 Standard Common Language Infrastructure (CLI) Partitions I to VI http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-335.pdfで入手できます。