o generating a project structure that now includes the original test code that is executed by the verifier