search

MfesGA / Smtlib

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

GenResponse instance of ShowSL should print Success as "success" instead of "Success" #8

Closed msakai closed 8 years ago

msakai commented 8 years ago

Currently GenResponse instance of ShowSL print Success value as "Success", but it should print "success" according to SMT-LIB2.