Searched refs:addImplication (Results 1 – 1 of 1) sorted by relevance
73 State = addImplication(Antecedent, State, true); in evalAssume()74 State = addImplication(Antecedent, State, false); in evalAssume()212 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication() function in __anon7e2309cb0111::TrustNonnullChecker