search

MfesGA / Smtlib

Parser for smt-lib Command responses
MIT License
2 stars 6 forks source link

(_a b) should not be parsed as an identifier with indexes, but as an application #30

Open msakai opened 8 years ago

msakai commented 8 years ago

(_a b) should not be parsed as an identifier with indexes, but as an application.

This PR depends on PR #9 and also relates to #18.