NewFuzzer();
int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
void selectBranch(int thread_id, Predicate * curr_pred, FuncInst * read_inst);
NewFuzzer();
int selectWrite(ModelAction *read, SnapVector<ModelAction *>* rf_set);
void selectBranch(int thread_id, Predicate * curr_pred, FuncInst * read_inst);