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

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

tautschnig merged 1 commit into

diffblue:maindiffblue/hw-cbmc:mainfrom

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