Integrated: 8255797: ciReplay: improve documentation of replay file syntax in parser

Wed Nov 4 07:34:54 UTC 2020

On Tue, 3 Nov 2020 08:55:14 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

> Complete and disambiguate the informal specification of the replay file syntax
> given in the ciReplay class implementation.

This pull request has now been integrated.

Changeset: c7a2c245
Author:    Roberto Castañeda Lozano <rcastanedalo at openjdk.org>
Committer: Tobias Hartmann <thartmann at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/c7a2c245
Stats:     10 lines in 1 file changed: 3 ins; 2 del; 5 mod

8255797: ciReplay: improve documentation of replay file syntax in parser

Complete and disambiguate the informal specification of the replay file syntax
given in the ciReplay class implementation.

Reviewed-by: kvn, thartmann

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

PR: https://git.openjdk.java.net/jdk/pull/1033