add overall statistics

tests/src/test/java/org/mozilla/javascript/tests/Test262SuiteTest.java

@@ -942,6 +942,22 @@ void addTest(
         void write(Writer writer, boolean statsEnabled, boolean rollUpEnabled) throws IOException {
             writer.write(
                     "# This is a configuration file for Test262SuiteTest.java. See ./README.md for more info about this file\n");
+
+            if (statsEnabled) {
+                long failures = 0;
+                long tests = 0;
+
+                for (Node node : rootNode.childNodes.values()) {
+                    if (node instanceof DirectoryNode directoryNode) {
+                        tests += directoryNode.testDeepCount;
+                        failures += directoryNode.failureDeepCount;
+                    }
+                }
+                writer.write("#\n# Overall failures: ");
+                writer.write(DirectoryNode.statsText(statsEnabled, tests, failures));
+                writer.write("\n\n");
+            }
+
             rootNode.writeChildNodes(writer, null, statsEnabled, rollUpEnabled, false);
         }
 

tests/testsrc/test262.properties

@@ -1,4 +1,7 @@
 # This is a configuration file for Test262SuiteTest.java. See ./README.md for more info about this file
+#
+# Overall failures:  10630/33541 (31.69%)
+
 
 annexB/built-ins 54/241 (22.41%)
     Array/from/iterator-method-emulates-undefined.js {unsupported: [IsHTMLDDA]}