projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61a846a) | patch
Fix issue #1105 involving string to int (#1112)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 19 Sep 2017 06:03:56 +0000 (01:03 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 19 Sep 2017 06:03:56 +0000 (23:03 -0700)
commit9fbe73270fc129c71b10d04c28f7cab4866a6a9f
tree5cafe6c48f0f2f8c2a7b4111db72dc0d81d4e13etree
parent61a846a4998be697867292924454893271eb6496commit | diff
Fix issue #1105 involving string to int (#1112)

This was introduced by changing the implementation of "isNumber" in this commit:
a94318b

This fixes issue #1105.
src/util/regexp.cpp diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/strings/issue1105.smt2 [new file with mode: 0644] blob