summaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-12-02 09:28:08 -0800
committergVisor bot <gvisor-bot@google.com>2020-12-02 09:34:15 -0800
commitb11f40db1ec2afed67d7227fd5b79e9897ffbf1d (patch)
tree6c26ba815b112f151526320c8cfb90be3617320c /tools
parent496851d27b58bbb15ee863de0d8a106dd23b8050 (diff)
Clean up verity tests.
Refactor some utilities and rename some others for clarity. PiperOrigin-RevId: 345247836
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions