fix cli

src/main.cpp

@@ -228,21 +228,20 @@ int main(int argc, char** argv) {
           ->fallthrough();
 
   std::string obs_file;
-  generate->add_option("--obs-file", obs_file, "Observable transitions")
-      ->type_name("Path")
-      ->check(CLI::ExistingFile);
-
-  bool all{false};
-  generate->add_flag("--all", all,
-                     "Cover all observable transitions (default: false)");
+  CLI::Option* opt_transitions =
+      generate
+          ->add_option("--obs-file", obs_file,
+                       "Cover transitions from file [default: all transitions]")
+          ->type_name("Path")
+          ->check(CLI::ExistingFile);
 
   // reach->callback([&]() {});
   // sog->callback([&]() {});
   generate->callback([&]() {
-    if (all) {
-      generate_all_paths(input_file, output_folder);
-    } else {
+    if (*opt_transitions) {
       generate_paths_from_file(input_file, obs_file, output_folder);
+    } else {
+      generate_all_paths(input_file, output_folder);
     }
   });