Bug fixes from running Coverity

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index e7c48ed90beb35b75637263bee25ed95f054cdd9..72a8d13385fa7d3a78863f3bd83e2d235a2c90cd 100644 (file)
--- 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 */