reset_all when halts