tests for restart_state