Skip to content

Release 1.0.2
Compare
Choose a tag to compare
@florianschanda florianschanda released this 18 Jul 13:07
· 21 commits to main since this release
pyvcg-1.0.2
83044f7

1.0.2

  • Fix bug in printing smtlib string literals. They are now correctly
    escaped for both quotations and non-printable characters.

  • Fix bug when printing smtlib comments with newlines.

Assets 2
Loading