ASSERT(is_read());
if (reads_from)
return reads_from->get_write_value();
- return VALUE_NONE; // Only for new actions with no reads-from
+ return VALUE_NONE; // Only for new actions with no reads-from
}
/**
reads_from = act;
- if (act->is_uninitialized()) { // WL
+ if (act->is_uninitialized()) { // WL
uint64_t val = *((uint64_t *) location);
ModelAction * act_initialized = (ModelAction *)act;
act_initialized->set_value(val);