tree 8326322bcc907328c7d4b8980e725cce3407d662
parent ce9b002ebd0491a8dd802e208814360ce781f32b
author Adam Langley <alangley@gmail.com> 1613055159 -0800
committer Adam Langley <agl@google.com> 1613061932 +0000

acvp: detect header element in JSON.

Sometimes JSON vector files contain a header element that must be
duplicated into the output and sometimes they don't. Auto-detect this by
looking for a “url” field in the first element.

Change-Id: I76046adb8ea64fe5ac9bae9d6583546504723918
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/45524
Reviewed-by: David Benjamin <davidben@google.com>