Merge pull request #7871 from thomasspriggs/tas/ctime_fix

Add missing include of `<ctime>`

Author: kroening

src/goto-checker/symex_coverage.cpp

@@ -24,6 +24,7 @@ Date: March 2016
 #include <linking/static_lifetime_init.h>
 
 #include <chrono> // IWYU pragma: keep
+#include <ctime>  // IWYU pragma: keep - For std::time_t
 #include <fstream> // IWYU pragma: keep
 #include <iostream>