preprocessing of goto-programs to be usable by the string solver#277

Closed

romainbrenguier wants to merge 4 commits intodiffblue:masterfrom

romainbrenguier:string-solver-goto-programs-preprocessing

Commits on Oct 27, 2016

preprocessing of goto-programs to be usable by the string solver
Romain Brenguier
committed

Commits on Dec 6, 2016

Adding header files with names of string functions
romainbrenguier
committed
Merge remote-tracking branch 'diffblue/master' into string-solver-goto-programs-preprocessing
romainbrenguier
committed
Removed useless headers and int in for loops
romainbrenguier
committed