X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=df06760893018d5bc1756cd89df263c6ed117cc6;hb=f71df291f0158236d46fc39e9c5ca02e3329f628;hp=eb5cd347e0442d60cdd35fea377afe189cea2177;hpb=f559a99c8394cdd45b493ed546e8a719b9a0dbf5;p=model-checker.git

diff --git a/model.cc b/model.cc
index eb5cd34..df06760 100644
--- a/model.cc
+++ b/model.cc
@@ -401,12 +401,15 @@ void ModelChecker::record_stats()
 		stats.num_buggy_executions++;
 	else if (is_complete_execution())
 		stats.num_complete++;
+	else
+		stats.num_redundant++;
 }
 
 /** @brief Print execution stats */
 void ModelChecker::print_stats() const
 {
 	model_print("Number of complete, bug-free executions: %d\n", stats.num_complete);
+	model_print("Number of redundant executions: %d\n", stats.num_redundant);
 	model_print("Number of buggy executions: %d\n", stats.num_buggy_executions);
 	model_print("Number of infeasible executions: %d\n", stats.num_infeasible);
 	model_print("Total executions: %d\n", stats.num_total);