Minor CLI tweaks

Signed-off-by: Enrico Ghiorzi <[email protected]>

Author: EnricoGhiorzi

Cargo.toml

@@ -23,7 +23,7 @@ thiserror = "2.0.11"
 anyhow = { workspace = true }
 scan_fmt_xml = { version = "0.1.0", path = "scan_fmt_xml" }
 scan_fmt_jani = { version = "0.1.0", path = "scan_fmt_jani" }
-clap = { version = "4.5.27", features = ["derive"] }
+clap = { version = "4.5.28", features = ["derive"] }
 env_logger = "0.11.6"
 log = { workspace = true }
 indicatif = { version = "0.17.11", features = ["improved_unicode"] }

src/cli.rs

@@ -13,17 +13,18 @@ use scan_fmt_xml::scan_core::{adaptive_bound, okamoto_bound, CsModelBuilder, Run
 enum Format {
     /// SCXML format
     Scxml,
-    /// Jani format
+    /// JANI format
     Jani,
 }
+
 /// A statistical model checker for large concurrent systems
 #[derive(Parser)]
-#[command(author, version, about, long_about = None)]
+#[command(version, about, long_about = None)]
 pub struct Cli {
     /// Path of model's main XML file
     #[arg(value_hint = clap::ValueHint::DirPath, default_value = ".")]
     model: PathBuf,
-    /// Model specification format to use
+    /// Format used to specify the model
     #[arg(value_enum, short, long, default_value = "scxml")]
     format: Format,
     /// Confidence
@@ -42,7 +43,7 @@ pub struct Cli {
     #[arg(long = "save-traces", default_value = "false")]
     trace: bool,
     /// ASCII compatible output
-    #[arg(long = "ascii", default_value = "false")]
+    #[arg(long, default_value = "false")]
     ascii: bool,
 }
 
@@ -121,9 +122,9 @@ fn print_progress_bar(
     ascii: bool,
 ) {
     const ARROW: &str = "⎯→ ";
-    const ASCII_ARROW: &str = "=> ";
+    const ASCII_ARROW: &str = "-> ";
     const FINE_BAR: &str = "█▉▊▋▌▍▎▏  ";
-    const ASCII_BAR: &str = "#= ";
+    const ASCII_BAR: &str = "#  ";
     const ASCII_SPINNER: &str = "|/-\\";
     let run_status = bar_state.lock().expect("lock state").clone();