Supporting (get-info :assertion-stack-levels) command added in SMT-LIB 2.5

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

Open msakai opened 8 years ago

msakai commented 8 years ago

This PR adds support (get-info :assertion-stack-levels) command which was added in SMT-LIB 2.5.

Sorry, I should have included this change in PR #14.