tree 1bd74a378a3381bbd82e78c437e2977e149c7618
parent 1361a12aca23be39d8a741245910ea51d702f924
author Patrick Venture <venture@google.com> 1558375415 -0700
committer Patrick Venture <venture@google.com> 1558376780 -0700

bmc: move Verification declaration out of single header

Split the interface declaration from the implementation declaration to
make it more obvious what would change to support more implementations.

Signed-off-by: Patrick Venture <venture@google.com>
Change-Id: I6452ad85513dad1431ef946b62936c1cea89c263