Do not use verify for tests that check for errors