From 69fca53bb3c9f22965d565ae4a0bdfaa000c119a Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 22 May 2025 13:02:53 +0200
Subject: [PATCH] set debug flag optionally from CPP command line
for B2Program model checker
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
.../resources/de/hhu/stups/codegenerator/CppTemplate.stg | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
index 5ec76255..048996cb 100644
--- a/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
+++ b/src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg
@@ -1780,11 +1780,7 @@ int main(int argc, char *argv[]) {
return - 1;
}
- bool isDebug = (argc>=5 && std::string("true").compare(argv[4])) ? true : false;
-
- if (isDebug) {
- cout \<\< "Model checking with B2Program." \<\< endl;
- }
+ bool isDebug = (argc>=5 && std::string("true").compare(argv[4])==0) ? true : false;
ModelChecker modelchecker(type, threads, isCaching, isDebug);
modelchecker.modelCheck();
--
GitLab