projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 472c5a5) | patch
Fix str to int reduction (#3358)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 6 Oct 2019 07:33:25 +0000 (02:33 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sun, 6 Oct 2019 07:33:25 +0000 (00:33 -0700)
commit51f9809788e4d26a423d9812ceab0f6720550c1b
tree59c233fd8b18afa6ae3f2e6797f405de7417de5btree
parent472c5a592c78e4757b3201f9e20908a4c645921bcommit | diff
Fix str to int reduction (#3358)

This fixes a corner case of the str-to-int reduction for the case where the argument is the empty string.

This fixes #3357.
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/strings/issue3357.smt2 [new file with mode: 0644] blob