Verilog: create the transition relation from the RTL representation - #2119

Verilog: create the transition relation from the RTL representation#2119

kroening wants to merge 2 commits into

diffblue:maindiffblue/hw-cbmc:mainfrom

kroening:kroening/verilog-transition-relationkroening/hw-cbmc:kroening/verilog-transition-relationCopy head branch name to clipboard