Fix run-test 303-verification-stress.

Bug: 12439831
Change-Id: I3d3fc0978543ae8c6fc76d88b9edece1e17bc7ce
1 file changed