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