Method canRead

ir/state.cpp:33–36

}

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

expr SMTMemoryAccess::canWrite(AccessType ty) const {
  unsigned bit = ty * 2;