projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb0190a) | patch
[Python API] Conversion to/from Unicode strings (#5120)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 23 Sep 2020 00:41:09 +0000 (17:41 -0700)
committerGitHub <noreply@github.com>
Wed, 23 Sep 2020 00:41:09 +0000 (19:41 -0500)
commit115511f6c5732cac1c3718d365d1cf5596541c95
tree5510c2e9874c8241ade6218e09e5223f29282031tree
parentbb0190a3d272e8d3207cfc358f79c647ed67acafcommit | 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.
src/api/python/cvc4.pxi diff | blob | history
src/util/string.cpp diff | blob | history
test/unit/api/python/test_to_python_obj.py diff | blob | history