Searched refs:isNotSat (Results 1 – 1 of 1) sorted by relevance
96 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local99 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()103 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()148 Optional<bool> isNotSat = Solver->check(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local149 if (!isNotSat || *isNotSat) in REGISTER_TRAIT_WITH_PROGRAMSTATE()