projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebc7d0f) | patch
Avoid quoting symbols already surrounded with vertical bars (#8896)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Wed, 22 Jun 2022 21:30:14 +0000 (16:30 -0500)
committerGitHub <noreply@github.com>
Wed, 22 Jun 2022 21:30:14 +0000 (16:30 -0500)
commita0b4c2bc73241f8ef43df46aca0cc334cdd931a2
treec62fe0598a412f8641a0c4c6826ef20a144ede18tree
parentebc7d0ffafe9736ecab5649d2a3957e55e06c515commit | diff
Avoid quoting symbols already surrounded with vertical bars (#8896)

This PR fixes the issue of replacing bars with underscores in already quoted symbols.
For example previously this line would print |_a _|

std::cout << d_solver.declareFun("|a |", {}, d_solver.getRealSort());
Now it prints |a |.
src/util/smt2_quote_string.cpp diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history