projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32699ab) | patch
Improve handling of utf8 encoded inputs (#5694)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 2 Mar 2021 22:49:29 +0000 (23:49 +0100)
committerGitHub <noreply@github.com>
Tue, 2 Mar 2021 22:49:29 +0000 (22:49 +0000)
commit7cec5cb5aba03324f1781a72457a2e1202d557ff
tree155d95fb59732c56207cebf8ce2aae9d540ac968tree
parent32699ab8393f4d3cb02c9a132ea174c7a1e5e958commit | diff
Improve handling of utf8 encoded inputs (#5694)

This PR fixes an issue where utf8 encoded inputs are incorrectly parsed into CVC4::String. We now use std::mbtowc to first turn the char sequence from the std::string input into a std::wstring and then process this std::wstring one charactor (wchar_t) at a time.
Fixes #5673
src/parser/parser.cpp diff | blob | history