Merge pull request diffblue#1850 from tautschnig/include-cleanup

Use C++ headers instead of their C variants

Author: tautschnig

src/goto-programs/interpreter.cpp

@@ -16,7 +16,7 @@ Author: Daniel Kroening, [email protected]
 #include <iostream>
 #include <fstream>
 #include <algorithm>
-#include <string.h>
+#include <cstring>
 
 #include <util/invariant.h>
 #include <util/std_types.h>

src/goto-programs/interpreter_evaluate.cpp

@@ -13,13 +13,13 @@ Author: Daniel Kroening, [email protected]
 
 #include <iostream>
 #include <sstream>
+#include <cstring>
 
 #include <util/ieee_float.h>
 #include <util/invariant.h>
 #include <util/fixedbv.h>
 #include <util/std_expr.h>
 #include <util/pointer_offset_size.h>
-#include <string.h>
 
 /// Reads a memory address and loads it into the `dest` variable.
 /// Marks cell as `READ_BEFORE_WRITTEN` if cell has never been written.

src/solvers/prop/prop.h

@@ -12,7 +12,7 @@ Author: Daniel Kroening, [email protected]
 
 // decision procedure wrapper for boolean propositional logics
 
-#include <stdint.h>
+#include <cstdint>
 
 #include <util/message.h>
 #include <util/threeval.h>