projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 167b038) | patch
add more tests, and define int.to.str(NEGATIVE)=""
authorTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 21 Feb 2014 00:31:27 +0000 (18:31 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 21 Feb 2014 00:31:27 +0000 (18:31 -0600)
commitbe91d86dd0f7b33f7c373c4d9bd40e207af910d2
treea334962df5978aea72bbb2f5afcadf6eb0d29a99tree
parent167b0386378346cadde0008b023a2c8ac143d2fdcommit | diff
add more tests, and define int.to.str(NEGATIVE)=""
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/regress/regress0/strings/int2str.smt2 [deleted file] blob | history
test/regress/regress0/strings/str2int.smt2 [deleted file] blob | history
test/regress/regress0/strings/type001.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/type002.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/type003.smt2 [new file with mode: 0644] blob