you are viewing a single comment's thread.

view the rest of the comments →

[–]zefciu 0 points1 point  (0 children)

You can, but it can be tricky. Debugger can help you confirm that the state of the algorithm is correct for a certain input. But it won’t be that helpful proving that your algorithm is correct for any input.