Searched refs:FalseTag (Results 1 – 1 of 1) sorted by relevance
3862 FalseTag(TagProviderName, "Eagerly Assume False"); in getEagerlyAssumeBifurcationTags() local3864 return std::make_pair(&TrueTag, &FalseTag); in getEagerlyAssumeBifurcationTags()3892 const auto &[TrueTag, FalseTag] = getEagerlyAssumeBifurcationTags(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()3912 Bldr.generateNode(Ex, Pred, StateFalse, FalseTag); in REGISTER_TRAIT_WITH_PROGRAMSTATE()