tree fffa8992910d673a97108f5506d85b741cb282d7
parent 18f54dc9c4ac6b69044915d01c84a7bd5a3e61d0
author Paul Wankadia <junyer@google.com> 1570610172 -0700
committer Paul Wankadia <junyer@google.com> 1570610624 +0000

Tidy up the ersatz benchmark library.

Change-Id: I3302c44127ab681421c14dd79afd9b85958e7467
Reviewed-on: https://code-review.googlesource.com/c/re2/+/46650
Reviewed-by: Paul Wankadia <junyer@google.com>