Method getUndefVar

ir/value.cpp:286–291

}

expr Input::getUndefVar(const Type &ty, unsigned child) const {
  string tyname = "isundef_" + getSMTName(child);
  //return expr::mkVar(tyname.c_str(), ty.getDummyValue(false).value);
  // FIXME: only whole value undef or non-undef for now
  return expr::mkVar(tyname.c_str(), expr::mkUInt(0, 1));
}

}