Searched refs:getCallStackMessage (Results 1 – 2 of 2) sorted by relevance
537 std::string getCallStackMessage(const ExplodedNode *N) { in getCallStackMessage() function
543 std::string stackMsg = ep->getCallStackMessage(N); in updateStackPiecesWithMessage()