[crac] Integrated: 8351701: [CRaC] CRaCEngineOptions=help cannot be used with CRaCRestoreFrom

[Timofei Pushkin]

On Tue, 11 Mar 2025 18:35:26 GMT, Timofei Pushkin <tpushkin at openjdk.org> wrote:

> Fixes the issue and adds a regression test for it.

This pull request has now been integrated.

Changeset: 9ec2078d
Author:    Timofei Pushkin <tpushkin at openjdk.org>
Committer: Radim Vansa <rvansa at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/9ec2078d4db61716c5d27d70b46e6690aa96e4fc
Stats:     39 lines in 2 files changed: 32 ins; 4 del; 3 mod

8351701: [CRaC] CRaCEngineOptions=help cannot be used with CRaCRestoreFrom

Reviewed-by: rvansa

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

PR: https://git.openjdk.org/crac/pull/211