KNOWNBUG test for function in compilation unit scope#1255

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

compilation_unit_scope_functiondiffblue/hw-cbmc:compilation_unit_scope_functionCopy head branch name to clipboard