OptionAttr argument should be printed using 'showSL' instead of 'show'

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

OptionAttr argument should be printed using 'showSL' instead of 'show' #25

Open msakai opened 8 years ago

msakai commented 8 years ago

OptionAttr argument should be printed using 'showSL' instead of 'show'. This is necessary to produce strings that can be parsed by corresponding parsers.