goto_analyzer_parse_optionst is not a messaget#4517

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/goto-analyzer-messagetromainbrenguier/cbmc:clean-up/goto-analyzer-messagetCopy head branch name to clipboard