From c38831f8bd3b0b10611ca67ef5e970b0890a347e Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 17 Sep 2022 18:57:27 +0200
Subject: [PATCH] Added one more decimal place for the HTML table output.
---
.../moobench/tools/results/stages/GenerateHtmlTableStage.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/compile-results/src/main/java/moobench/tools/results/stages/GenerateHtmlTableStage.java b/tools/compile-results/src/main/java/moobench/tools/results/stages/GenerateHtmlTableStage.java
index 573043d..9a4e08d 100644
--- a/tools/compile-results/src/main/java/moobench/tools/results/stages/GenerateHtmlTableStage.java
+++ b/tools/compile-results/src/main/java/moobench/tools/results/stages/GenerateHtmlTableStage.java
@@ -70,7 +70,7 @@ public class GenerateHtmlTableStage extends AbstractTransformation<TableInformat
}
private StringBuilder addDouble(final StringBuilder cells, final Double value) {
- return cells.append(String.format(" <td style=\"text-align: right;\">%1.2f</td>\n", value));
+ return cells.append(String.format(" <td style=\"text-align: right;\">%1.3f</td>\n", value));
}
}
--
GitLab