Skip to content
Snippets Groups Projects

Add sanitizer CI targets

Merged Florian Fischer requested to merge sanitizer_ci_targets into master
1 unresolved thread
Files
2
+ 1
1
@@ -15,7 +15,7 @@ void worker_log(const std::string& prefix, const std::string& message) {
const workerid_t workerId = Runtime::getWorkerId();
std::unique_lock<std::mutex> lock(worker_log_mutex);
std::cerr << (unsigned int)workerId;
std::cerr << workerId;
if (!prefix.empty()) {
std::cerr << " " << prefix << " ";
} else {
Loading