Verilog: rename convert_type method to elaborate_type#697

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

elaborate_typediffblue/hw-cbmc:elaborate_typeCopy head branch name to clipboard