adding a string solver and string refinement code - #276

Closed

romainbrenguier wants to merge 3 commits into

diffblue:masterfrom

romainbrenguier:string-solver-string-refinement

Commits on Oct 27, 2016

adding a string solver and string refinement code
Romain Brenguier
committed
fe12ce5
Using new version of the functions to convert utf8 to utf16 that make explicit the use of little and big endian
Romain Brenguier
committed
eff7a99

Commits on Dec 6, 2016

Merge remote-tracking branch 'diffblue/master' into string-solver-string-refinement
romainbrenguier
committed
587191f