Method canWrite

ir/state.cpp:38–41

}

expr SMTMemoryAccess::canWrite(AccessType ty) const {
  unsigned bit = ty * 2;
  return val.extract(bit, bit) == 1;
}

expr SMTMemoryAccess::canOnlyRead(AccessType ty) const {
  AndExpr ret;