Won't it generate tests that prove the correctness of the code instead of the correctness of the application?
As in: if my code is doing something wrong and I ask it to write tests for it, it will supply tests that pass on the wrong code instead of finding the problem in my code?