Function pointer non-det initialisation in goto-harness [depends-on: #5171]#5176

Merged

NlightNFotis merged 5 commits intodiffblue:developfrom

NlightNFotis:feature/function-pointer-nondet-harness

Jan 28, 2020

Commits on Jan 27, 2020

Apply miscellaneous refactoring and fixes to goto-harness.

NlightNFotis
authored and
hannes-steffenhagen-diffblue
committed
Add support for function pointers to goto-harness

NlightNFotis
authored and
hannes-steffenhagen-diffblue
committed
Map function pointer parameter to function pointer argument

NlightNFotis
authored and
hannes-steffenhagen-diffblue
committed
Add more tests.

NlightNFotis
authored and
hannes-steffenhagen-diffblue
committed
Move function-pointer-can-be-null option handling.

NlightNFotis
authored and
hannes-steffenhagen-diffblue
committed