Add remove-function-body-regex command line option#8712

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-function-body-regextautschnig/cbmc:remove-function-body-regexCopy head branch name to clipboard