Update readme

Author: GBathie

README.md

@@ -4,15 +4,19 @@ This repository contains the code accompanying our paper *LTLf Learning Meets Bo
 
 ## Requirements
 To run the code, you need to have [Rust](https://www.rust-lang.org/tools/install) installed. The code can be compiled using:
+
 ```
 cargo build --release
 ```
 
 ## Running the code
+
 The three algorithms (`set-cover`, `enum`, `beam-search`) can be run with multiple parameters by changing command line arguments. For instance,
 ```
-target/release/bolt example_input.json 8 10 beam-search 100 70
+cargo run --release -- example_input.json 8 10 beam-search 100 70
 ```
 runs the beam search algorithm on file `example_input.json` with LTL2BS-switch = 8, size-dom = 10, beam-width = 100, and D&C-switch = 70.
 
+To see the command line arguments and options, use `cargo run -r -- -h`
+
 The Rust source code is in directory `src/`.

src/main.rs

@@ -28,7 +28,10 @@ fn main() {
         AlgoCommand::BeamSearch(p) => get_name_time_sol(&input_filename, max_size_ltl, domin_nb, p),
     };
 
-    println!("{}", sol.map_or(String::new(), |f| format!("{f}")))
+    println!(
+        "{}",
+        sol.map_or(String::from("Formula not found"), |f| format!("{f}"))
+    )
 }
 
 fn get_name_time_sol<P: BoolAlgoParams + Clone>(
@@ -61,7 +64,7 @@ fn get_name_time_sol<P: BoolAlgoParams + Clone>(
 #[derive(Parser)]
 // #[command(version, about, long_about = None)]
 struct CliArgs {
-    /// Name of the .trace file to read.
+    /// Name of the .json file to read.
     input_filename: PathBuf,
     /// Run LTL enumeration until `max_size_ltl`
     /// before switching to boolean algorithm.