tree f4a71a00272605a9f3c68a64926613545aa23c50
parent 29af1e3e435da9b345be4aeae2f7da1423322dad
author Patrick Venture <venture@google.com> 1565107427 -0700
committer Patrick Venture <venture@google.com> 1565108271 -0700

bmc: cleanup verification language and symbols

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