From 1028f7254f1bb365390972ccc0af5e81478a2b98 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Wed, 3 Apr 2024 16:43:40 +0200 Subject: [PATCH] final tweaks --- src/org/rascalmpl/interpreter/TestEvaluator.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/org/rascalmpl/interpreter/TestEvaluator.java b/src/org/rascalmpl/interpreter/TestEvaluator.java index 00a6a13b7e9..d8773658029 100644 --- a/src/org/rascalmpl/interpreter/TestEvaluator.java +++ b/src/org/rascalmpl/interpreter/TestEvaluator.java @@ -87,7 +87,7 @@ public static int readIntTag(AbstractFunction test, String key, int defaultVal) private void runTests(ModuleEnvironment env, List tests) { testResultListener.start(env.getName(), tests.size()); - eval.job("testing", tests.size(), (String jn) -> { + eval.job("Testing " + env.getName(), tests.size(), (String jn) -> { // first, let's shuffle the tests var theTests = new ArrayList<>(tests); // just to be sure, clone the list Collections.shuffle(theTests);