diff --git a/src/Platform/modules/ReportConsole.cc b/src/Platform/modules/ReportConsole.cc index 9a1ce0d..723c4df 100644 --- a/src/Platform/modules/ReportConsole.cc +++ b/src/Platform/modules/ReportConsole.cc @@ -23,7 +23,10 @@ namespace platform { + " random seeds. " + data["date"].get() + " " + data["time"].get() ); std::cout << headerLine(data["title"].get()); - std::cout << headerLine("Random seeds: " + fromVector("seeds") + " Stratified: " + (data["stratified"].get() ? "True" : "False")); + std::cout << headerLine( + "Random seeds: " + fromVector("seeds") + " Discretized: " + (data["discretized"].get() ? "True" : "False") + + " Stratified: " + (data["stratified"].get() ? "True" : "False") + ); oss << "Execution took " << std::setprecision(2) << std::fixed << data["duration"].get() << " seconds, " << data["duration"].get() / 3600 << " hours, on " << data["platform"].get(); std::cout << headerLine(oss.str());