testsuite: Fix a few issues in JUnit output

Authored by bgamari on Jun 23 2019, 9:39 AM.

Description

testsuite: Fix a few issues in JUnit output

  • Make it pass mypy
  • Fix a typo in test name field
  • Report more stderr output
  • Report stdout output

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 25 2019, 7:37 AM
Parents
rGHCc346585b5f50: testsuite: A major revamp of the driver
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCbb40bd37ebf4: testsuite: Fix a few issues in JUnit output (authored by bgamari).Jun 25 2019, 7:37 AM