tree b7744c5e99b61c6164b5a7047dc24b783deebe81
parent 97f7a1cb69ab65b36961b52f6ab2580b5d947e93
author jeffhao <jeffhao@google.com> 1328230513 -0800
committer jeffhao <jeffhao@google.com> 1328307928 -0800

Various fixes to the verifier for cts-tests.

Change-Id: I812e7f1332ff1ce5a13d19433255098989531d1a