4 ms·
>... it doesn't matter so much that you know every detail of the implementation, as long as it is validated. What makes me nervous is when we generate both the
by fauigerzigerk 1y ago
>... it doesn't matter so much that you know every detail of the implementation, as long as it is validated.
What makes me nervous is when we generate both the implementation and the test cases. In what sense is this validation?
- nerpderp82 1y agoByzantine Incompleteness enters the chat. Either you go formal, or you test the tests, and then test those ...
- zdragnar 1y agoMy last attempt had passing tests. It even exercised the code that it wrote! But, upon careful inspection, the test assertions were essentially checking that true equalled true, and the errors in the code didn't fail the tests at all. Attempting to guide it to fixing the errors just introduced novel errors that it didn't make the first time around. This is not what I signed up for.