Improvements in string preprocessing to facilitate constant propagation#984

Closed

romainbrenguier wants to merge 18 commits intodiffblue:test-gen-supportfrom

romainbrenguier:pull-request/string-replace

Commits on Jun 1, 2017

Declaring auxiliary function for allocation of dynamic objects
romainbrenguier
committed
Replacement of string preprocessing for Java
romainbrenguier
committed
Merging string and character preprocess as one argument of bytecode conversion
romainbrenguier
committed
Removing and deactivating the old preprocessing
romainbrenguier
committed
Avoid copies of string preprocess objects
romainbrenguier
committed
Change the step at which we replace String methods code
romainbrenguier
committed
Removing string conversion from method conversion
romainbrenguier
committed
Overwrite String type

Joel Allred
authored and
romainbrenguier
committed
Specification for contains in the case of a constant argument diffblue/test-gen#159
romainbrenguier
committed
Make index_of precise diffblue/test-gen#77
romainbrenguier
committed
Making lastIndexOf precise diffblue/test-gen#77
romainbrenguier
committed
Updating comments for index_of and last_index_of on characters
romainbrenguier
committed
Optimize last_index_of for constant argument
romainbrenguier
committed
[constraint-main] Adding existing string expr to created_strings so that they also get concretized
romainbrenguier
committed
[preprocess] Improving constructor and copy of strings
romainbrenguier
committed
[preprocess] Adding CharSequence.length method
romainbrenguier
committed
[preprocess] More direct conversion of length methods
romainbrenguier
committed
[constraint-concat] Adding a add_axioms_for_concat_substr function
romainbrenguier
committed