X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=funcnode.h;h=a0eb6233988c1d082de9e88a734ee084772209c4;hb=5ca7bf3bd5afb9ca961fe8daaa1fae2d88c39211;hp=7aec0bd047e8f21fa672c3a8efbc928d42971769;hpb=443de938403221d2b1aaddfdb561fb837745cf86;p=c11tester.git

diff --git a/funcnode.h b/funcnode.h
index 7aec0bd0..a0eb6233 100644
--- a/funcnode.h
+++ b/funcnode.h
@@ -60,6 +60,8 @@ public:
 	ModelList<FuncNode *> * get_out_edges() { return &out_edges; }
 	int compute_distance(FuncNode * target, int max_step = MAX_DIST);
 
+	void add_failed_predicate(Predicate * pred);
+
 	void print_predicate_tree();
 
 	MEMALLOC
@@ -122,6 +124,7 @@ private:
 	PredSet predicate_leaves;
 	ModelVector<Predicate *> leaves_tmp_storage;
 	ModelVector<Predicate *> weight_debug_vec;
+	PredSet failed_predicates;
 
 	/* Store the relation between this FuncNode and other FuncNodes */
 	HashTable<FuncNode *, edge_type_t, uintptr_t, 0, model_malloc, model_calloc, model_free> edge_table;