Add array initialisation support in default goto-harness.#4234

Merged

NlightNFotis merged 6 commits intodiffblue:developfrom

NlightNFotis:non_det_array_goto_harness

Feb 28, 2019

Commits on Feb 26, 2019

Split up argument declaration and function call

NlightNFotis
and
hannes-steffenhagen-diffblue
committed
Add initialization of static arrays

NlightNFotis
and
hannes-steffenhagen-diffblue
committed