allow omitting arguments of push/pop commands

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

allow omitting arguments of push/pop commands #16

Open msakai opened 8 years ago

msakai commented 8 years ago

This changes the parser to allow omitting arguments of push/pop commands Note that it is not specified in SMT-LIB2, but many solvers implement the omission.