Searched defs:AddFactIdIsIrrelevant (Results 1 – 3 of 3) sorted by relevance
249 void FactManager::AddFactIdIsIrrelevant(uint32_t result_id) { in AddFactIdIsIrrelevant() function in spvtools::fuzz::FactManager