Make sure we print symbolic symbols safely

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format

MIT License

44 stars 23 forks source link

Make sure we print symbolic symbols safely #13

Closed manoskouk closed 9 years ago

manoskouk commented 9 years ago

Symbolic symbols (i.e. containing characters not acceptable in SMTLIB symbols, such as ':') should be printed inside |...|

regb commented 9 years ago

Thanks for the good catch. But I think the code to print symbols is actually already existing in printer/TerminalTreesPrinter, rather than adding a toString to Symbol it would probably better to call that function in the place you changed in RecusrivePrinter

manoskouk commented 9 years ago

What about now?

regb commented 9 years ago

looks great, thanks