generate_ansi_c_start_function reports user errors via return code#5834

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-generate_ansi_c_start_functiontautschnig/cbmc:fix-generate_ansi_c_start_functionCopy head branch name to clipboard