JUnit XML files for RunAllProofs #3029
This PR extends the RunAllProofs facility for the generation of JUnit files. Each test entry in automaticJavaDL.txt or automaticInfflow.txt results into an entry in a JUnit file. This allows later a processing of these tests in Jenkins/Gitlab and Co.
Further changes are: * Achieve a better catching of the stdout and stderr during the prove for inserting it into the JUnit files * Upload the statistics as build artifacts
Artifacts
- 03. Jun 2023 15:52 (32134.75 kB large)
- 28. May 2023 17:29 (10106.62 kB large)
- 28. May 2023 16:46 (10107.32 kB large)
- 27. May 2023 17:38 (10155.52 kB large)
- 27. May 2023 17:29 (10156.51 kB large)
- 27. May 2023 17:24 (10153.77 kB large)
- 11. Mar 2023 17:41 (3860.49 kB large)
- 03. Mar 2023 17:47 (3829.94 kB large)
- 12. Feb 2023 18:35 (1890.05 kB large)
- 10. Feb 2023 12:45 (1891.15 kB large)
- 10. Feb 2023 01:34 (2249.67 kB large)
- 09. Feb 2023 17:31 (51.21 kB large)
- 09. Feb 2023 01:27 (1699.31 kB large)
- 09. Feb 2023 00:09 (1698.73 kB large)
- 08. Feb 2023 23:30 (51.17 kB large)
- 08. Feb 2023 23:20 (51.19 kB large)
- 08. Feb 2023 23:18 (51.16 kB large)
- 08. Feb 2023 23:13 (51.15 kB large)
- 08. Feb 2023 23:11 (51.13 kB large)
- 08. Feb 2023 23:03 (32.80 kB large)
- 08. Feb 2023 23:02 (32.83 kB large)
- 08. Feb 2023 22:58 (32.82 kB large)
- 08. Feb 2023 22:56 (32.82 kB large)
- 08. Feb 2023 22:43 (32.78 kB large)
- 08. Feb 2023 22:42 (32.79 kB large)