Fix bug

[c11tester.git] / predicate.cc

diff --git a/predicate.cc b/predicate.cc
index 0f7c620..4094b61 100644 (file)
--- a/predicate.cc
+++ b/predicate.cc
@@ -8,6 +8,7 @@ Predicate::Predicate(FuncInst * func_inst, bool is_entry, bool is_exit) :
        exit_predicate(is_exit),
        does_write(false),
        exploration_count(0),
+       failure_count(0),
        pred_expressions(16),
        children(),
        parent(NULL),