tree 5e99eaa47100eeb3958f174868a60880d62190dc
parent d6b1f6190c8ec42facb08aca34b093244774b318
author jeffhao <jeffhao@google.com> 1317156869 -0700
committer jeffhao <jeffhao@google.com> 1317229952 -0700

Verifier should not exit with exceptions pending.

Change-Id: Ibf820594883b345c55e9f636d937aae6506706d6