tree 44433e54f130ee17dcd18f0ecfca934fa6584b1d
parent da97c4eee83d89c577ecc2ba98b2e45a2191b1f4
parent c2bc26513ea7c5e2dd9f3b102fb23fd207e4ce63
author Aart Bik <ajcbik@google.com> 1464112451 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1464112451 +0000

Merge "Fix bug in verifier: soft fail was hiding hard fail."