X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=newfuzzer.cc;h=da10e864c2c1776a09718893ad82939935e675b5;hb=807bb2d23b9391338ab395bfe0005b378d9026ac;hp=be483886bdcde90b5b878cdebd0dcf17c19b115a;hpb=2605bd1432a07fe6c8b6afdb7123567d46b60ba1;p=c11tester.git

diff --git a/newfuzzer.cc b/newfuzzer.cc
index be483886..da10e864 100644
--- a/newfuzzer.cc
+++ b/newfuzzer.cc
@@ -91,6 +91,7 @@ int NewFuzzer::selectWrite(ModelAction *read, SnapVector<ModelAction *> * rf_set
 
 		// Increment failure count
 		selected_branch->incr_fail_count();
+		func_node->add_predicate_to_trace(tid, selected_branch);	// For updating predicate weight
 
 		//model_print("the %d read action of thread %d at %p is unsuccessful\n", read->get_seq_number(), read_thread->get_id(), read->get_location());