From 726d0320348e00c00b7c2c9035bcfe4defb1c5f9 Mon Sep 17 00:00:00 2001
From: Jaime Arias Almeida <arias@lipn.univ-paris13.fr>
Date: Sun, 15 Jan 2023 14:40:47 +0100
Subject: [PATCH] fix typo
---
src/main.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main.cpp b/src/main.cpp
index 68e63a0..87196b7 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -224,7 +224,7 @@ int main(int argc, char** argv) {
CLI::App* generate =
app.add_subcommand(
"generate",
- "Generate test path using a transition coverage criteria")
+ "Generate test paths using a transition coverage criteria")
->fallthrough();
std::string obs_file;
--
GitLab