Add option to verify written flash

CHANGELOG.md

@@ -10,6 +10,7 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/) and this p
 - [#345] Update dev-dependency `serial_test`
 - [#344] Replace `pub(crate)` with `pub`
 - [#343] Mark `v0.3.4` as released in `CHANGELOG.md`
+- [#353] add option to verify written flash
 
 [#349]: https://github.com/knurling-rs/probe-run/pull/349
 [#345]: https://github.com/knurling-rs/probe-run/pull/345

src/cli.rs

@@ -44,7 +44,11 @@ pub struct Opts {
     elf: Option<PathBuf>,
 
     /// Skip writing the application binary to flash.
-    #[structopt(long, conflicts_with = "defmt")]
+    #[structopt(
+        long,
+        conflicts_with = "disable-double-buffering",
+        conflicts_with = "verify"
+    )]
     pub no_flash: bool,
 
     /// Connect to device when NRST is pressed.
@@ -82,6 +86,10 @@ pub struct Opts {
     #[structopt(long = "disable-double-buffering")]
     pub disable_double_buffering: bool,
 
+    /// Verifies the written program.
+    #[structopt(long)]
+    pub verify: bool,
+
     /// Arguments passed after the ELF file path are discarded
     #[structopt(name = "REST")]
     _rest: Vec<String>,

src/main.rs

@@ -127,6 +127,7 @@ fn run_target_program(elf_path: &Path, chip_name: &str, opts: &cli::Opts) -> any
         options.dry_run = false;
         options.progress = Some(&fp);
         options.disable_double_buffering = opts.disable_double_buffering;
+        options.verify = opts.verify;
 
         flashing::download_file_with_options(&mut sess, elf_path, Format::Elf, options)?;
         log::info!("success!");