am af008f41: am 4c863edf: Merge "Fix run-test 303-verification-stress."
am af008f41: am 4c863edf: Merge "Fix run-test 303-verification-stress."

* commit 'af008f4175d56e2a2750f71b7ffb9cfa6240cc1c':
  Fix run-test 303-verification-stress.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst