alt Hacker NewsYou don't use the LLM to check your code for correctness; you use the LLM to generate tests to exercise code paths, and verify that they do exercise those code paths.
You don't use the LLM to check your code for correctness; you use the LLM to generate tests to exercise code paths, and verify that they do exercise those code paths.
And that test will check the code paths are run.
That doesn't tell you that the code is correct. It tells you that the branching code can reach all the branches. That isn't very useful.