Searched refs:CZFactory (Results 1 – 1 of 1) sorted by relevance
203 auto &CZFactory = State->get_context<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local207 CZ = CZFactory.remove(CZ, *I); in REGISTER_TRAIT_WITH_PROGRAMSTATE()