tree 99a84ecc18dcd0737cdac8a7f7d36a69bede6e52
parent 1ec2f1dc2c16559ae07d1b037961a7e295255d55
author Andreas Gampe <agampe@google.com> 1413869129 -0700
committer Andreas Gampe <agampe@google.com> 1415412167 -0800

ART: Fix possible soft+hard failure in verifier

It was possible to generate a hard failure and a subsequent soft
failure, which violates a CHECKed invariant.

Refactor code slightly to share common code.

Bug: 17625962
Change-Id: Iccd9e30f1087363b19b2faedc10243a2290202c0