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（）中符號的含義是什麼？