From 3fdeacbe51210ddfdc07dfd8e74dc3b33f57040a Mon Sep 17 00:00:00 2001 From: Jiri Date: Wed, 31 Jul 2024 20:43:46 +0200 Subject: [PATCH] Fixed buggy stderr outpu --- system/jcstress/Generate.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/system/jcstress/Generate.java b/system/jcstress/Generate.java index 6727a025b2..edc8205ec9 100644 --- a/system/jcstress/Generate.java +++ b/system/jcstress/Generate.java @@ -207,10 +207,10 @@ private static void setAndPrintSetup() { if (getCoresForPlaylist() == DEFAULT_CORES) { System.err.println("Cores limit stays on default (" + DEFAULT_CORES + "). 0 is all."); } else { - System.err.println("Cores for final playlist are " + getCoresForPlaylist() + ". Intentional?"); + System.err.println("Cores for final playlist are " + getCoresForPlaylist() + ". Intentional? 0 is All."); } if (isTimeBudgetSet()) { - System.err.println("Time budget is " + getCoresForPlaylist() + ". Intentional?"); + System.err.println("Time budget is " + getTimeBudget() + ". Intentional?"); } else { System.err.println("Time budget is not used. Intentional?"); }