RFR: 7903659 Verify Problemlist contents

[Jonathan Gibbons]

On Fri, 8 Mar 2024 15:31:14 GMT, Christian Stein <cstein at openjdk.org> wrote:

>> @sormuras So, having looked at -check: it "DOES NOT" run the tests. But I intend problemlist verification to be run as part of testing, e.g. in CI's. So I think this warrants existing outside of -check.
>> 
>> I agree -check should perhaps be extented to cover problemlists too, but that is not the scope of this PR.
>> 
>> Including -match seems like a very reasonable thing to add to this PR.
>
>> I agree `-check` should perhaps be extented to cover `problemlists` too, but that is not the scope of this PR.
> 
> Okay. Let's introduce new options, including the "--long-word" variant: `--verify-exclude` in this PR.

> Ok so just after posting my comment about `-verifyexclude` vs `--verify-exclude`, I saw @sormuras comment
> 
> > Let's introduce new options, including the "--long-word" variant: --verify-exclude in this PR.
> 
> I'm fine with this, but it's not what one infers from the current set of flags. So could we then document the intended style of new flags somewhere?

[JEP 293](https://openjdk.org/jeps/293)

Aside: it is an oversight that this is a regularly-numbered JEP, and not an "informational" JEP, with a low number.

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

PR Comment: https://git.openjdk.org/jtreg/pull/181#issuecomment-1986255836