diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-22 17:41:09 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-22 19:41:09 -0500 |
commit | 115511f6c5732cac1c3718d365d1cf5596541c95 (patch) | |
tree | 5510c2e9874c8241ade6218e09e5223f29282031 /src/smt | |
parent | bb0190a3d272e8d3207cfc358f79c647ed67acaf (diff) |
[Python API] Conversion to/from Unicode strings (#5120)
Fixes #5024. This commit adds a conversion from constant string terms to
native Python Unicode strings in Term.toPythonObj() and improves
Solver.mkString() to accept strings containing characters outside of
the printable range.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions