Report the name of the generated test case when running the tests with -v