From 01e2837a60ce9bff10ad3ce43d451678d86bd6a1 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sat, 20 Apr 2019 22:44:43 +0200 Subject: [PATCH] Use C++ random for tracing colors. --- src/instr/instr_interface.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/instr/instr_interface.cpp b/src/instr/instr_interface.cpp index 14e3d3b4b2..b859b8d020 100644 --- a/src/instr/instr_interface.cpp +++ b/src/instr/instr_interface.cpp @@ -9,6 +9,8 @@ #include "src/surf/surf_private.hpp" #include "surf/surf.hpp" #include +#include +#include enum class InstrUserVariable { DECLARE, SET, ADD, SUB }; @@ -88,9 +90,11 @@ void TRACE_category_with_color (const char *category, const char *color) std::string final_color; if (not color) { //generate a random color - double red = drand48(); - double green = drand48(); - double blue = drand48(); + static std::default_random_engine rnd_engine; + std::uniform_real_distribution prng(0.0, std::nextafter(1.0, 2.0)); + double red = prng(rnd_engine); + double green = prng(rnd_engine); + double blue = prng(rnd_engine); final_color = std::to_string(red) + " " + std::to_string(green) + " " + std::to_string(blue); }else{ final_color = std::string(color); -- 2.20.1