Method check_enough_tmp_slots

ir/state.cpp:489–492

}

void State::check_enough_tmp_slots() {
  if (i_tmp_values >= tmp_values.size())
    throw AliveException("Too many temporaries", false);
}

const StateValue& State::eval(const Value &val, bool quantify_nondet) {
  auto &[sval, _retdom, _ub, uvars] = values.at(&val);