BMC: looping constraint must consider all inputs#1206

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

smv_ltlspec_F7diffblue/hw-cbmc:smv_ltlspec_F7Copy head branch name to clipboard