Correctly parsing the output of (get-info :reason-unknown)

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

Correctly parsing the output of (get-info :reason-unknown) #23

Closed msakai closed 8 years ago

msakai commented 8 years ago

This PR fixes parseResponseReasonUnknown parser so that it can correctly parse responses to (get-info :reason-unknown) as defined in SMT-LIB2 standard.