Add rewrites for str.contains + str.replace/substr (#2496)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 19 Sep 2018 15:16:46 +0000 (08:16 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 Sep 2018 15:16:46 +0000 (10:16 -0500)
commitd7f70ffac0731b7ce5a9d9115e5a5a9717d9174f
tree6079fa09118bfd1efd302990096e7cb0a4fd6bf5
parentc3091f9b23a452fc497596601ac7650ef24269c8
Add rewrites for str.contains + str.replace/substr (#2496)
src/theory/strings/theory_strings_rewriter.cpp
test/unit/theory/theory_strings_rewriter_white.h