String regression test restructuration - #651

Closed

romainbrenguier wants to merge 10 commits into

diffblue:masterfrom

allredj:string-solver-dev-1-regression

Commits on Mar 17, 2017

Preprocessing of goto programs for string refinement
romainbrenguier
committed
1aede78
Moving is_java_string_type functions to string_preprocess
romainbrenguier
committed
3a2e210
Moving refined_string_type to util
romainbrenguier
committed
70af9ce
Removed distinction between c string type and refined string type
romainbrenguier
committed
2929d7f
Removed mention of c string type
romainbrenguier
committed
5cb0e5e

Commits on Mar 22, 2017

Commits on Mar 27, 2017

Restructuration of tests on strings
Joel Allred
committed
db3d5d6