[nottorp]

> Can it write a _correct_ test case

And is the test case useful for something? On non textbook code?