Feature nondet string initialization [depends-on: #3750]#3572

Closed

hannes-steffenhagen-diffblue wants to merge 2 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:feature-nondet-string-initialization

Commits on Dec 17, 2018

Add support for dynamic pointer to array initialisation
hannes-steffenhagen-diffblue
committed
Add support for nondet initialisation of dynamic C strings
hannes-steffenhagen-diffblue
committed