tree aabee7ace816c79a3009a5342cddbf333de73de1
parent 7c920ac56533a72387562d0cee5d7667c9f86323
author Ian Zerny <zerny@google.com> 1593627413 +0200
committer Ian Zerny <zerny@google.com> 1593672626 +0000

Benchmarks for various keep rules.

Change-Id: I0dfd6f7bd645810e85cdf3aa0a5491de7e648ff8