commit | 22538e4672348c56d4d44d6113bedd6b47d0abd0 | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jan 27 15:40:02 2021 +0000 |
committer | Nicolas Geoffray <ngeoffray@google.com> | Thu Jan 28 13:56:18 2021 +0000 |
tree | 186ff7dff13bcd944297e17d9a98f16216b60d7c | |
parent | 7203b2052c1b77a369a2fa5647529576f57de0cc [diff] |
Remove obsolete code in the verifier. We now handle verification errors depending on their kind after the method has been verified. Test: test.py Bug: 176960283 Change-Id: Ib1c5fde157d516907f176e16fda00fe05ac25ff1