aval/bval lowering for Verilog logical equality#656

kroening merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

verilog_equality_loweringdiffblue/hw-cbmc:verilog_equality_loweringCopy head branch name to clipboard