Searched defs:AddInitialFacts (Results 1 – 3 of 3) sorted by relevance
97 void FactManager::AddInitialFacts(const MessageConsumer& message_consumer, in AddInitialFacts() function in spvtools::fuzz::FactManager