RFR: 7903659 Verify Problemlist contents

[Ludvig Janiuk]

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?

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

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