word-level BMC: precondition for timeframe#1164

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

trans-word-level-sequence-preconditiondiffblue/hw-cbmc:trans-word-level-sequence-preconditionCopy head branch name to clipboard