bool shouldSleep(const ModelAction *sleep);
bool shouldWake(const ModelAction *sleep);
virtual void register_engine(ModelHistory * history, ModelExecution * execution) = 0;
- MEMALLOC
+ SNAPSHOTALLOC
private:
};
#endif
return false;
int thread_id = id_to_int(tid);
- bool pruned = false;
-
uint old_size = thrd_pruned_writes.size();
if (thrd_pruned_writes.size() <= (uint) thread_id) {
uint new_size = thread_id + 1;
SnapVector<ModelAction *> * pruned_writes = thrd_pruned_writes[thread_id];
pruned_writes->clear(); // clear the old pruned_writes set
+ bool pruned = false;
uint index = 0;
while ( index < rf_set->size() ) {
ModelAction * write_act = (*rf_set)[index];
uint64_t write_val = write_act->get_write_value();
bool equality;
- // No predicate, return everything in the rf_set
+ // No predicate, return false
if (expression->token == NOPREDICATE)
return pruned;
void register_engine(ModelHistory * history, ModelExecution * execution);
- MEMALLOC
+ SNAPSHOTALLOC
private:
ModelHistory * history;
ModelExecution * execution;
SnapVector<ModelAction *> thrd_last_read_act;
SnapVector<Predicate *> thrd_curr_pred;
SnapVector<Predicate *> thrd_selected_child_branch;
- SnapVector< SnapVector<ModelAction *> * > thrd_pruned_writes;
+ SnapVector< SnapVector<ModelAction *> *> thrd_pruned_writes;
};
#endif /* end of __NEWFUZZER_H__ */