Browse Source

removed configuration debug prints

pull/3/head
Thomas Knoll 1 year ago
parent
commit
ca8e8d6281
  1. 8
      main.cpp
  2. 1
      util/Grid.cpp
  3. 1
      util/PrismModulesPrinter.cpp

8
main.cpp

@ -120,10 +120,10 @@ int main(int argc, char* argv[]) {
continue; continue;
} }
if(!parsingBackground && !parsingStateRewards) { if(!parsingBackground && !parsingStateRewards) {
std::cout << "Reading :\t" << line << "\n";
// std::cout << "Reading :\t" << line << "\n";
content += line + "\n"; content += line + "\n";
} else if (parsingBackground) { } else if (parsingBackground) {
std::cout << "Background:\t" << line << "\n";
// std::cout << "Background:\t" << line << "\n";
background += line + "\n"; background += line + "\n";
} else if(parsingStateRewards) { } else if(parsingStateRewards) {
rewards += line + "\n"; rewards += line + "\n";
@ -154,10 +154,6 @@ int main(int argc, char* argv[]) {
configurations = parser.parseConfiguration(); configurations = parser.parseConfiguration();
} }
for (auto& config : configurations) {
std::cout << config << std::endl;
}
boost::escaped_list_separator<char> seps('\\', ';', '\n'); boost::escaped_list_separator<char> seps('\\', ';', '\n');
Tokenizer csvParser(rewards, seps); Tokenizer csvParser(rewards, seps);
for(auto iter = csvParser.begin(); iter != csvParser.end(); ++iter) { for(auto iter = csvParser.begin(); iter != csvParser.end(); ++iter) {

1
util/Grid.cpp

@ -134,7 +134,6 @@ void Grid::applyOverwrites(std::string& str, std::vector<Configuration>& configu
if (!config.overwrite_) { if (!config.overwrite_) {
continue; continue;
} }
std::cout << "Searching for " << config.identifier_ << std::endl;
size_t start_pos; size_t start_pos;
if (config.type_ == ConfigType::Formula) { if (config.type_ == ConfigType::Formula) {

1
util/PrismModulesPrinter.cpp

@ -222,7 +222,6 @@ namespace prism {
os << "\n// Configuration\n"; os << "\n// Configuration\n";
for (auto& configuration : configurations) { for (auto& configuration : configurations) {
std::cout << configuration.overwrite_ << std::endl;
if (configuration.overwrite_ || configuration.type_ == ConfigType::Module) { if (configuration.overwrite_ || configuration.type_ == ConfigType::Module) {
continue; continue;
} }

Loading…
Cancel
Save