From 3f8f4302a2e0724c3fee65d7cb91567aefe3f1f6 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 22 May 2025 12:39:42 +0200
Subject: [PATCH] improve user feedback for wrong arguments
in CPP generated model checker
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
index 5e8a39fa9..a6743c3a6 100644
--- a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
+++ b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
@@ -1734,6 +1734,7 @@ model_check_main_method(machine) ::= <<
int main(int argc, char *argv[]) {
if(argc != 4) {
cout \<\< "Number of arguments errorneous\n";
+ cout \<\< "Expecting arguments: STRATEGY NR_THREADS CACHING\n";
return -1;
}
string strategy = argv[1];
@@ -1750,6 +1751,7 @@ int main(int argc, char *argv[]) {
type = <machine>::Type::DFS;
} else {
cout \<\< "Input for strategy is wrong.\n";
+ cout \<\< "Expecting mixed, bf or df.\n";
return -1;
}
@@ -1774,7 +1776,7 @@ int main(int argc, char *argv[]) {
} else if(std::string("false").compare(caching) == 0) {
isCaching = false;
} else {
- cout \<\< "Input for caching is wrong.\n";
+ cout \<\< "Input for caching is wrong, expecting true or false.\n";
return - 1;
}
--
GitLab