mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-06 19:21:22 +00:00
Code Activity

check for eof, based on testing garbled repro from #1267

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-09-24 10:58:39 -07:00
parent 9cd974e334
commit f179d49f4f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/parsers/smt2/smt2scanner.cpp
View file

@ -124,7 +124,7 @@ namespace smt2 {
next(); next();
bool is_float = false; bool is_float = false;
while (true) { while (!m_at_eof) {
char c = curr(); char c = curr();
if ('0' <= c && c <= '9') { if ('0' <= c && c <= '9') {
m_number = rational(10)*m_number + rational(c - '0'); m_number = rational(10)*m_number + rational(c - '0');