git: openjdk/jcstress: 7903383: jcstress: All State objects should be processed

[duke]

Changeset: e5994593
Author:    Aleksey Shipilëv <shade at redhat.com>
Committer: GitHub <noreply at github.com>
Date:      2023-01-12 16:28:28 +0000
URL:       https://git.openjdk.org/jcstress/commit/e599459354fa0e7fe7b9a2bf7eb468fd3696b373

7903383: jcstress: All State objects should be processed


! jcstress-core/src/main/java/org/openjdk/jcstress/TestExecutor.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/processors/JCStressTestProcessor.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/runners/Control.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/runners/WorkerSync.java