From ca8e8d62816930fbbbfca70028b975819115ddc2 Mon Sep 17 00:00:00 2001
From: Thomas Knoll <thomas.knolł@student.tugraz.at>
Date: Mon, 4 Sep 2023 12:15:55 +0200
Subject: [PATCH] removed configuration debug prints
---
main.cpp | 8 ++------
util/Grid.cpp | 1 -
util/PrismModulesPrinter.cpp | 1 -
3 files changed, 2 insertions(+), 8 deletions(-)
diff --git a/main.cpp b/main.cpp
index 31e1b32..88caa41 100644
--- a/main.cpp
+++ b/main.cpp
@@ -120,10 +120,10 @@ int main(int argc, char* argv[]) {
continue;
}
if(!parsingBackground && !parsingStateRewards) {
- std::cout << "Reading :\t" << line << "\n";
+ // std::cout << "Reading :\t" << line << "\n";
content += line + "\n";
} else if (parsingBackground) {
- std::cout << "Background:\t" << line << "\n";
+ // std::cout << "Background:\t" << line << "\n";
background += line + "\n";
} else if(parsingStateRewards) {
rewards += line + "\n";
@@ -154,10 +154,6 @@ int main(int argc, char* argv[]) {
configurations = parser.parseConfiguration();
}
- for (auto& config : configurations) {
- std::cout << config << std::endl;
- }
-
boost::escaped_list_separator<char> seps('\\', ';', '\n');
Tokenizer csvParser(rewards, seps);
for(auto iter = csvParser.begin(); iter != csvParser.end(); ++iter) {
diff --git a/util/Grid.cpp b/util/Grid.cpp
index 2ef4871..9f11f0c 100644
--- a/util/Grid.cpp
+++ b/util/Grid.cpp
@@ -134,7 +134,6 @@ void Grid::applyOverwrites(std::string& str, std::vector<Configuration>& configu
if (!config.overwrite_) {
continue;
}
- std::cout << "Searching for " << config.identifier_ << std::endl;
size_t start_pos;
if (config.type_ == ConfigType::Formula) {
diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index 7e804cd..7698f82 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -222,7 +222,6 @@ namespace prism {
os << "\n// Configuration\n";
for (auto& configuration : configurations) {
- std::cout << configuration.overwrite_ << std::endl;
if (configuration.overwrite_ || configuration.type_ == ConfigType::Module) {
continue;
}