Searched defs:AddFactBlockIsDead (Results 1 – 3 of 3) sorted by relevance
208 void FactManager::AddFactBlockIsDead(uint32_t block_id) { in AddFactBlockIsDead() function in spvtools::fuzz::FactManager