Handle newlines in external partition file (lnis-uofu#87)

* external_partion fixed * Update external_partition.hpp * Update utility.cpp Co-authored-by: ALEXANDRE NORMAND <[email protected]>
The-OpenROAD-Project · Jul 7, 2022 · febd152 · febd152
1 parent 7368723
commit febd152
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/core/utility.cpp b/core/utility.cpp
@@ -704,9 +704,14 @@ template function_counts node_functions<xmg_names>(const xmg_names&);
 template function_counts node_functions<aig_names>(const aig_names&);
 template function_counts node_functions<xag_names>(const xag_names&);
 }
+bool is_digits(const std::string &str)
+{
+    return std::all_of(str.begin(), str.end(), ::isdigit); // C++11
+}
 
 std::vector<int> read_integer_file(string filename)
 {
+
     std::vector<int> output;
     std::ifstream ifs;
 
@@ -715,7 +720,8 @@ std::vector<int> read_integer_file(string filename)
         while (ifs.good()) {
             std::string part;
             getline(ifs, part);
-            if (part != "")
+            std::cout<<"part:"<<part<<std::endl;
+            if (!part.empty() && is_digits(part))
                 output.push_back(std::stoi(part));
         }
         ifs.close();

diff --git a/core/utility.hpp b/core/utility.hpp
@@ -139,4 +139,5 @@ void update_counts(function_counts &counts,
 		   const typename network::node &node);
 
     }
+bool is_digits(const std::string &str);
 std::vector<int> read_integer_file(string filename);