jbmc_parse_options is not a messaget#4520

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/jbmc-parse-options-messagetromainbrenguier/cbmc:clean-up/jbmc-parse-options-messagetCopy head branch name to clipboard