Searched refs:checkerOpts (Results 1 – 1 of 1) sorted by relevance
110 SmallVector<CheckerOptInfo, 8> checkerOpts; in createCheckerManager() local113 checkerOpts.push_back(CheckerOptInfo(opt.first.c_str(), opt.second)); in createCheckerManager()117 allCheckers.initializeManager(*checkerMgr, checkerOpts); in createCheckerManager()120 for (unsigned i = 0, e = checkerOpts.size(); i != e; ++i) { in createCheckerManager()121 if (checkerOpts[i].isUnclaimed()) in createCheckerManager()123 << checkerOpts[i].getName(); in createCheckerManager()