Design a method to select predicate branches based on exploration counts

[c11tester.git] / funcnode.cc

diff --git a/funcnode.cc b/funcnode.cc
index 05974d781ad52bfac0445b3dcaeb98dfabcd990d..75cb0cb82fa1b9d4ea9e35e5f6671d0e4054f67b 100644 (file)
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -306,6 +306,7 @@ void FuncNode::update_predicate_tree(action_list_t * act_list)
                        inst_id_map.put(next_inst, inst_counter++);
 
                it = it->getNext();
+               curr_pred->incr_count();
        }
 }