Searched refs:ErrorVal (Results 1 – 1 of 1) sorted by relevance
557 ConditionTruthVal ErrorVal = Cmr.isNull(State, ErrorSym); in evalAssume() local558 if (ErrorVal.isConstrainedTrue()) { in evalAssume()563 } else if (ErrorVal.isConstrainedFalse()) { in evalAssume()