tree b43474eded81a67650795b1b0b0fc35e2a12afc7
parent 7263abc75f8d139f1efcae887870a2f537e45735
author Andreas Gampe <agampe@google.com> 1564678823 -0700
committer Treehugger Robot <treehugger-gerrit@google.com> 1566925767 +0000

ART: Verifier cleanup

Start making the method verifier more independent of externalities.
This will be implemented as incremental changes.

Incorporate suggestions from previous changes: some C++ cleanup.

Test: m test-art-host
Change-Id: If903239bee58858427f0eb3e3e37a1ca767529c5