RFR: 7903883: --verify-exclude test existence and format checks are broken [v2]

[Ludvig Janiuk]

> The way this feature selected "the full set of tests" was actually getting "the set of tests to be run". But often, we run some subset through either specifying test files, folders, or groups. Our problemlist files will still have entries for other tests we were not running right now.
> 
> As a solution, --verify-exclude needs to compute the maximal set of tests that could be run for all test suites that any of the tests being run are a part of. I've implemented this by creating a dummy testmanager and passing no parameters to it.
> 
> Additionally, the regex for problemlist format had a typo.

Ludvig Janiuk has updated the pull request incrementally with two additional commits since the last revision:

 - verbose output
 - rm todo

-------------

Changes:
  - all: https://git.openjdk.org/jtreg/pull/236/files
  - new: https://git.openjdk.org/jtreg/pull/236/files/65869e8b..fd5e203f

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jtreg&pr=236&range=01
 - incr: https://webrevs.openjdk.org/?repo=jtreg&pr=236&range=00-01

  Stats: 54 lines in 3 files changed: 50 ins; 2 del; 2 mod
  Patch: https://git.openjdk.org/jtreg/pull/236.diff
  Fetch: git fetch https://git.openjdk.org/jtreg.git pull/236/head:pull/236

PR: https://git.openjdk.org/jtreg/pull/236