Regression tests for the string-refine option#371

Merged

kroening merged 1 commit intodiffblue:masterfrom

romainbrenguier:string-refine-regression

Jan 1, 2017

Commits on Dec 27, 2016

Regression test for the string-refine option

Romain Brenguier
authored and
romainbrenguier
committed