tree fa128219b069cb27badbf9cb92ff66488403c848
parent 5aa2e104c0fcee504051328f108b292e015e44cd
parent 5af4b1901dcc1b0654971415e3d8c12eb18b92fd
author Treehugger Robot <treehugger-gerrit@google.com> 1470080555 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1470080555 +0000

Merge "Clean up verifier testcases."