3 ms·
Brilliant, you have just solved the halting problem.
by revelation 11y ago
Brilliant, you have just solved the halting problem.
- oberstein 11y agoStick a printf/file write/breakpoint at the root of the code path if you want continuous verification that the code path never executes except by clicking the button. This isn't hard.
- monochromatic 11y agoStatic analysis is a thing, and it doesn't solve the halting problem.
- skj 11y agoIt also doesn't solve this problem.