clock = (modelclock_t *)snapshot_calloc(num_threads, sizeof(int));
if (parent)
- std::memcpy(clock, parent->clock, parent->num_threads * sizeof(modelclock_t));
+ real_memcpy(clock, parent->clock, parent->num_threads * sizeof(modelclock_t));
if (act != NULL)
clock[id_to_int(act->get_tid())] = act->get_seq_number();
num_threads = cv->num_threads;
}
- /* Element-wise maximum */
+ /* Element-wise minimum */
for (int i = 0;i < cv->num_threads;i++)
if (cv->clock[i] < clock[i]) {
clock[i] = cv->clock[i];