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

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

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