[parser] trim end of line in CNF

aia-uclouvain · Nov 1, 2024 · 80694a3 · 80694a3
1 parent af2f4f9
commit 80694a3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/parsers/cnf.rs b/src/parsers/cnf.rs
@@ -76,7 +76,7 @@ impl Parser for CnfParser {
                 Ok(line) => {
                     if !line.starts_with('c') && !line.starts_with('p') {
                         // Note: the space before the 0 is important so that clauses like "1 -10 0" are correctly splitted
-                        for clause in line.split(" 0").filter(|cl| !cl.is_empty()) {
+                        for clause in line.trim_end().split(" 0").filter(|cl| !cl.is_empty()) {
                             clauses.push(clause.split_whitespace().map(|x| x.parse::<isize>().unwrap()).collect());
                         }
                     }
@@ -108,7 +108,7 @@ impl Parser for CnfParser {
                 Ok(line) => {
                     if !line.starts_with('c') && !line.starts_with('p') {
                         // Note: the space before the 0 is important so that clauses like "1 -10 0" are correctly splitted
-                        for clause in line.split(" 0").filter(|cl| !cl.is_empty()) {
+                        for clause in line.trim_end().split(" 0").filter(|cl| !cl.is_empty()) {
                             clauses.push(clause.split_whitespace().map(|x| x.parse::<isize>().unwrap()).collect());
                         }
                     }