git: openjdk/jcstress: 7903491: jcstress: Run time budget

[duke]

Changeset: d5d86e50
Author:    Aleksey Shipilëv <shipilev at amazon.de>
Committer: GitHub <noreply at github.com>
Date:      2023-06-12 12:50:41 +0000
URL:       https://git.openjdk.org/jcstress/commit/d5d86e506babe1f8974476c0f76c789ed6a2b592

7903491: jcstress: Run time budget


! .github/workflows/pre-integration.yml
! jcstress-benchmarks/src/main/java/org/openjdk/jcstress/SampleTestBench.java
! jcstress-core/src/main/java/org/openjdk/jcstress/JCStress.java
! jcstress-core/src/main/java/org/openjdk/jcstress/Options.java
! jcstress-core/src/main/java/org/openjdk/jcstress/TestExecutor.java
+ jcstress-core/src/main/java/org/openjdk/jcstress/TimeBudget.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/grading/ConsoleReportPrinter.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/grading/ReportUtils.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/processors/JCStressTestProcessor.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/runners/ForkedTestConfig.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/runners/Runner.java
! jcstress-core/src/main/java/org/openjdk/jcstress/infra/runners/TestConfig.java
+ jcstress-core/src/main/java/org/openjdk/jcstress/util/TimeValue.java