search

MfesGA / Smtlib

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

(asX b) should not be parsed as (as X b) #32

Open msakai opened 8 years ago

msakai commented 8 years ago

It fixes the parser not to parse (asX b) as (as X b).

This PR is intended to be merged after PR #9 and #30 .