X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;fp=model.cc;h=72a8d13385fa7d3a78863f3bd83e2d235a2c90cd;hp=e7c48ed90beb35b75637263bee25ed95f054cdd9;hb=a2e32839cc2d45b6f8f559061ac4315acc628396;hpb=6a5a3a8f8ecddf4b3302039b6dbde915557b4234

diff --git a/model.cc b/model.cc
index e7c48ed..72a8d13 100644
--- a/model.cc
+++ b/model.cc
@@ -2,6 +2,7 @@
 #include <algorithm>
 #include <new>
 #include <stdarg.h>
+#include <string.h>
 
 #include "model.h"
 #include "action.h"
@@ -30,6 +31,7 @@ ModelChecker::ModelChecker(struct model_params params) :
 	earliest_diverge(NULL),
 	trace_analyses()
 {
+	memset(&stats,0,sizeof(struct execution_stats));
 }
 
 /** @brief Destructor */