tree 2038bbb25fe121bdcf3653cc32211c6e2cb88936
parent 6006e2ce92fd86fdf028cd7b3afe972815b0e0f3
parent df707e406877e9c0426dd051c00933ebb331673e
author Igor Murashkin <iam@google.com> 1454546083 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1454546083 +0000

Merge "runtime: Don't skip verification for -Xverify:soft-fail"