mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

set encoding into gparams because this is the only entry point in zstring #6490

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-12-14 09:43:29 -08:00
parent c4b2acac24
commit d47dd159d7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/params/context_params.cpp
View file

@ -109,6 +109,7 @@ void context_params::set(char const * param, char const * value) {
else if (p == "encoding") { else if (p == "encoding") {
if (strcmp(value, "unicode") == 0 || strcmp(value, "bmp") == 0 || strcmp(value, "ascii") == 0) { if (strcmp(value, "unicode") == 0 || strcmp(value, "bmp") == 0 || strcmp(value, "ascii") == 0) {
m_encoding = value; m_encoding = value;
gparams::set("encoding", value);
} }
else { else {
std::stringstream strm; std::stringstream strm;