SEC-79 Add symbol table writer#1496

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/symbol_table_writersmowton/cbmc:smowton/feature/symbol_table_writerCopy head branch name to clipboard