diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-12-03 12:29:00 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-12-03 12:29:00 -0800 |
commit | ed739ecb71a71fe23aff4a877cbf39542281ed37 (patch) | |
tree | aafc34ccecb2cad8154d0a9e65086b04f63db6a0 /test/regress/regress0/bug310.cvc.smt2 | |
parent | 774770af22c882ade8f44aedbeed027cdf3d9496 (diff) |
Faster hasing for `cvc5::String`optStringHash
Previously, our hashing algorithm for `cvc5::String` would create an
`std::string` representation of the string and then call
`std::hash<std::string>` on the result. Creating the temporary
`std::string` is quite expensive and can be avoided by computing the
hash directly on the elements of the vector of characters in
`cvc5::String`.
This change improves our solving time on an industrial benchmark from
about 59s to 55s.
Diffstat (limited to 'test/regress/regress0/bug310.cvc.smt2')
0 files changed, 0 insertions, 0 deletions