peekToken can be null if the solver is interrupted/killed

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format

MIT License

44 stars 23 forks source link

peekToken can be null if the solver is interrupted/killed #14

Closed colder closed 9 years ago

colder commented 9 years ago

[Warning ] Interrupted...
java.lang.NullPointerException
    at smtlib.parser.ParserTerms$class.parseSExpr(ParserTerms.scala:308)
    at smtlib.parser.Parser.parseSExpr(Parser.scala:8)

regb commented 9 years ago

should be fixed in bb25bb91dfcf1f680c0d6fd7eee9840c6fb5d64b