|
|
|
|
|
by shelajev
975 days ago
|
|
If the code generation quality is so good you trust it to generate your verification system. You might as well write the tests yourself, and generate the actual implementation. This way you're in control of what it means the code works, and formalize the acceptance criteria. Instead of feeding it a potentially incorrect implementation, and asking it to come up with a set of requirements what it should actually do. |
|
Writing unit tests is also more boring so I prefer writing the implementation.