adding a convert_function_application in the flattening that will be …#274

Merged

kroening merged 1 commit intodiffblue:masterfrom

romainbrenguier:string-solver-flattening

Oct 31, 2016

Commits on Oct 27, 2016

adding a convert_function_application in the flattening that will be reimplemented by classes such as string_refinement
Romain Brenguier
committed