From 555fa16a5229b330598ce7d4e8df2146047c262b Mon Sep 17 00:00:00 2001
From: Jaime Arias Almeida <arias@lipn.univ-paris13.fr>
Date: Sun, 15 Jan 2023 14:49:51 +0100
Subject: [PATCH] fix cli
---
src/main.cpp | 19 +++++++++----------
1 file changed, 9 insertions(+), 10 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index 87196b7..b3dd573 100644
--- a/src/main.cpp
+++ b/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);
}
});
--
GitLab