Adds verification to test