fix line number counting in SMT2 tokenizer

Daniel Kroening · Daniel Kroening · commit 7b670cdde566 · 2018-03-15T13:12:42.000Z
diff --git a/src/solvers/smt2/smt2_tokenizer.cpp b/src/solvers/smt2/smt2_tokenizer.cpp
@@ -219,9 +219,13 @@ smt2_tokenizert::tokent smt2_tokenizert::next_token()
 
     case ';': // comment
       // skip until newline
-      while(in->get(ch) && ch!='\n')
+      while(in->get(ch))
       {
-        // ignore
+        if(ch=='\n')
+        {
+          line_no++;
+          break;
+        }
       }
       break;
 

Original file line number	Diff line number	Diff line change
`@@ -219,9 +219,13 @@ smt2_tokenizert::tokent smt2_tokenizert::next_token()`
`219`	`219`
`220`	`220`	`case ';': // comment`
`221`	`221`	`// skip until newline`
`222`		`- while(in->get(ch) && ch!='\n')`
	`222`	`+ while(in->get(ch))`
`223`	`223`	`{`
`224`		`- // ignore`
	`224`	`+ if(ch=='\n')`
	`225`	`+ {`
	`226`	`+ line_no++;`
	`227`	`+ break;`
	`228`	`+ }`
`225`	`229`	`}`
`226`	`230`	`break;`
`227`	`231`