From 7dbef9fc36067ed0916c436a58a8730f7cd7aee1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Monta=C3=B1ana=20G=C3=B3mez?=
 <rmontanana@gmail.com>
Date: Tue, 30 Jan 2024 12:55:09 +0100
Subject: [PATCH] Add discretiz info to console report

---
 src/Platform/modules/ReportConsole.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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<std::string>() + " " + data["time"].get<std::string>()
         );
         std::cout << headerLine(data["title"].get<std::string>());
-        std::cout << headerLine("Random seeds: " + fromVector("seeds") + " Stratified: " + (data["stratified"].get<bool>() ? "True" : "False"));
+        std::cout << headerLine(
+            "Random seeds: " + fromVector("seeds") + " Discretized: " + (data["discretized"].get<bool>() ? "True" : "False")
+            + " Stratified: " + (data["stratified"].get<bool>() ? "True" : "False")
+        );
         oss << "Execution took  " << std::setprecision(2) << std::fixed << data["duration"].get<float>()
             << " seconds,   " << data["duration"].get<float>() / 3600 << " hours, on " << data["platform"].get<std::string>();
         std::cout << headerLine(oss.str());