Restrict function pointers by name#5262

Merged

danpoe merged 7 commits intodiffblue:developfrom

danpoe:feature/restrict-function-pointer-by-name

Mar 24, 2020

Commits on Mar 23, 2020

Add restrict-function-pointer-by-name option

hannes-steffenhagen-diffblue
authored and
danpoe
committed
Pass command line option to parse_function_pointer_restriction()
danpoe
committed