Lines Matching defs:fact
27 std::string ToString(const protobufs::FactConstantUniform& fact) { in ToString()
58 std::string ToString(const protobufs::FactDataSynonym& fact) { in ToString()
64 std::string ToString(const protobufs::FactIdEquation& fact) { in ToString()
74 std::string ToString(const protobufs::Fact& fact) { in ToString()
99 for (auto& fact : facts.fact()) { in AddInitialFacts() local
107 bool FactManager::MaybeAddFact(const fuzz::protobufs::Fact& fact) { in MaybeAddFact()
140 protobufs::FactDataSynonym fact; in AddFactDataSynonym() local
209 protobufs::FactBlockIsDead fact; in AddFactBlockIsDead() local
221 protobufs::FactFunctionIsLivesafe fact; in AddFactFunctionIsLivesafe() local
241 protobufs::FactPointeeValueIsIrrelevant fact; in AddFactValueOfPointeeIsIrrelevant() local
250 protobufs::FactIdIsIrrelevant fact; in AddFactIdIsIrrelevant() local
260 protobufs::FactIdEquation fact; in AddFactIdEquation() local