Add failed predicates to predicate trace; remove unused codes

[c11tester.git] / newfuzzer.cc

diff --git a/newfuzzer.cc b/newfuzzer.cc
index be483886bdcde90b5b878cdebd0dcf17c19b115a..da10e864c2c1776a09718893ad82939935e675b5 100644 (file)
--- 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());