Target state should be cleared when the target is disconnected. Currently it preserves that last known state before disconnection. The issue is that depending on the debug probe and device, a halted target may automatically resume execution on disconnect. Hence the message can be misleading.