4 ms·while(true);by willvarfar 14y agowhile(true);mietek 14y agoSo? This can be easily detected by comparing snapshots of memory, including any registers, etc.sp332 14y agoOne bit of state (true/false) means we have to run for 2^1=2 "steps". Since the program does not halt after 2 steps, we have proved that the program will never halt. Easy, huh?