Fixed compilation issues on MinGW

pkesseli · pkesseli · commit 1dcee0d2a25b · 2017-03-08T15:12:37.000Z
Added missing &lt;cstdlib&gt; includes which caused compilation errors on MinGW
5.3.0.
diff --git a/src/cegis/cegis-util/cbmc_runner.cpp b/src/cegis/cegis-util/cbmc_runner.cpp
@@ -7,6 +7,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 \*******************************************************************/
 
+#include <cstdlib>
+
 #include <util/config.h>
 #include <util/substitute.h>
 
diff --git a/src/cegis/genetic/dynamic_test_runner_helper.cpp b/src/cegis/genetic/dynamic_test_runner_helper.cpp
@@ -12,6 +12,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #endif
 
 #include <cassert>
+#include <cstdlib>
 #include <fstream>
 
 #include <util/config.h>
diff --git a/src/cegis/jsa/learn/extract_candidate.cpp b/src/cegis/jsa/learn/extract_candidate.cpp
@@ -7,6 +7,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 \*******************************************************************/
 
+#include <cstdlib>
+
 #include <util/bv_arithmetic.h>
 #include <goto-programs/goto_functions.h>
 #include <goto-programs/goto_trace.h>
