From 78b8a8ae6618403406f17ad4b90dcdbab59ce916 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Monta=C3=B1ana=20G=C3=B3mez?=
 <rmontanana@gmail.com>
Date: Thu, 11 Apr 2024 10:54:18 +0200
Subject: [PATCH] Add platform to b_manage, fix report after experiment

---
 lib/json                      | 2 +-
 src/manage/ManageScreen.cpp   | 4 ++--
 src/reports/ReportConsole.cpp | 1 -
 src/results/Result.cpp        | 1 +
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/json b/lib/json
index 377c767..c883fb0 160000
--- a/lib/json
+++ b/lib/json
@@ -1 +1 @@
-Subproject commit 377c767aa19da7159cf537490bc33da96edf8803
+Subproject commit c883fb0f17cbdf75545bddcc551e21a924a31b05
diff --git a/src/manage/ManageScreen.cpp b/src/manage/ManageScreen.cpp
index 16151d2..7b1e402 100644
--- a/src/manage/ManageScreen.cpp
+++ b/src/manage/ManageScreen.cpp
@@ -206,11 +206,11 @@ namespace platform {
         //
         int maxModel = results.maxModelSize();
         int maxTitle = results.maxTitleSize();
-        std::vector<int> header_lengths = { 3, 10, maxModel, 10, 9, 3, 7, maxTitle };
+        std::vector<int> header_lengths = { 3, 10, maxModel, 10, 9, 12, 3, 7, maxTitle };
         std::cout << Colors::RESET();
         std::string arrow_dn = Symbols::down_arrow + " ";
         std::string arrow_up = Symbols::up_arrow + " ";
-        std::vector<std::string> header_labels = { " #", "Date", "Model", "Score Name", "Score", "C/P", "Time", "Title" };
+        std::vector<std::string> header_labels = { " #", "Date", "Model", "Score Name", "Score", "Platform", "C/P", "Time", "Title" };
         std::vector<std::string> sort_fields = { "Date", "Model", "Score", "Time" };
         for (int i = 0; i < header_labels.size(); i++) {
             std::string suffix = "", color = Colors::GREEN();
diff --git a/src/reports/ReportConsole.cpp b/src/reports/ReportConsole.cpp
index 80f1edb..88dec8c 100644
--- a/src/reports/ReportConsole.cpp
+++ b/src/reports/ReportConsole.cpp
@@ -36,7 +36,6 @@ namespace platform {
     void ReportConsole::header()
     {
         do_header();
-        std::cout << sheader.str();
     }
     void ReportConsole::body()
     {
diff --git a/src/results/Result.cpp b/src/results/Result.cpp
index ae72f1a..988f7cb 100644
--- a/src/results/Result.cpp
+++ b/src/results/Result.cpp
@@ -89,6 +89,7 @@ namespace platform {
         oss << std::setw(maxModel) << std::left << data["model"].get<std::string>() << " ";
         oss << std::setw(10) << std::left << data["score_name"].get<std::string>() << " ";
         oss << std::right << std::setw(9) << std::setprecision(7) << std::fixed << score << " ";
+        oss << std::left << std::setw(12) << data["platform"].get<std::string>() << " ";
         auto completeString = isComplete() ? "C" : "P";
         oss << std::setw(1) << " " << completeString << "  ";
         oss << std::setw(5) << std::setprecision(2) << std::fixed << durationShow << " " << durationUnit << " ";