You can writer solvers for bits of code and make them part of your test runs, I do that for gnarly bits, especially gnarly bits written by AI where the drift would not be obvious to me.