Mark k-induction test as CORE#652

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

k-induction5.k-3.descdiffblue/hw-cbmc:k-induction5.k-3.descCopy head branch name to clipboard