Searched refs:getCheckerOptionType (Results 1 – 1 of 1) sorted by relevance
96 static std::string getCheckerOptionType(const Record &R) { in getCheckerOptionType() function161 OS.write_escaped(getCheckerOptionType(R)) << "\", \""; in printOption()