SystemVerilog: property-typed ports for checkers#1739

kroening wants to merge 1 commit intomaindiffblue/hw-cbmc:mainfrom

checker-property-portsdiffblue/hw-cbmc:checker-property-portsCopy head branch name to clipboard