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