Fix txt not choosing the correct output type in standalone.

crocs-muni · Aug 18, 2024 · d79dccc · d79dccc
1 parent 4ac6e56
commit d79dccc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/nix/test_all.py b/nix/test_all.py
@@ -74,7 +74,7 @@ def test_library(library, test_suite, version):
     opts.extend(globals()[f"{test_suite.replace('-', '_')}_options"](library))
     command = ["./result/bin/ECTesterStandalone", "test",
                f"-oyml:results/yml/{library}_{test_suite}_{version}.yml",
-               f"-otxt:results/txt/{library}_{test_suite}_{version}.txt",
+               f"-otext:results/txt/{library}_{test_suite}_{version}.txt",
                f"-oxml:results/xml/{library}_{test_suite}_{version}.xml",
                "-q", *opts, test_suite, library]
     try:

diff --git a/standalone/src/main/java/cz/crcs/ectester/standalone/output/FileTestWriter.java b/standalone/src/main/java/cz/crcs/ectester/standalone/output/FileTestWriter.java
@@ -13,7 +13,7 @@
  */
 public class FileTestWriter extends BaseFileTestWriter {
 
-    private static final Pattern PREFIX = Pattern.compile("(text|xml|yaml|yml):.+");
+    private static final Pattern PREFIX = Pattern.compile("(text|txt|xml|yaml|yml):.+");
 
     public FileTestWriter(String defaultFormat, boolean systemOut, String[] files) throws ParserConfigurationException, FileNotFoundException {
         super(defaultFormat, systemOut, files);
@@ -37,6 +37,7 @@ protected TestWriter createWriter(String format, PrintStream out) throws ParserC
         }
         switch (format) {
             case "text":
+            case "txt":
                 return new TextTestWriter(out);
             case "xml":
                 return new XMLTestWriter(out);