[PATCH] Add -verify option to load command

[Eli Zaretskii]

> CC: <gdb-patches@sourceware.org>
> From: Luis Machado <lgustavo@codesourcery.com>
> Date: Fri, 6 Jan 2017 12:30:06 -0600
> 
> >> +The optional @code{-verify} argument enables verification of the data that was
> >> +loaded to the target's memory.
> >
> > I think the manual should explain what "verification" means in this
> > context.
> >
> > Thanks.
> >
> 
> Something along the lines of...
> 
> "GDB will make sure all the memory regions that were written to the 
> target's memory have their correct values, otherwise an error will be 
> issued."?
> 
> Should i go even further to explain how the comparison is made?

I'd suggest

  GDB will read back the memory regions that were written, and if some
  value is not as written, will issue an error message.