KNOWNBUG test for package scopes across compilation units#961

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

two_files1diffblue/hw-cbmc:two_files1Copy head branch name to clipboard