Make string literal tables global#478

peterschrammel merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:global_string_tables_mastersmowton/cbmc:global_string_tables_masterCopy head branch name to clipboard