The normal GDB finish command, would, of course, not update LIZARD's state; therefore it cannot be used.
Log in to post a comment.
