> TDD says "no line of product code is written until there is a unit test that fails for it". If you have tests that completely specify the behavior of the cod

> TDD says "no line of product code is written until there is a unit test that fails for it". If you have tests that completely specify the behavior of the code, it seems a bit redundant to then write the code... why not automatically generate it? Have I just described, in some vague sense, prolog?