Verification tests cases adapted.