final tweaks

usethesource · Apr 3, 2024 · 1028f72 · 1028f72
1 parent 26ec1ac
commit 1028f72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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<AbstractFunction> 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);