Library functions: mark them as compiled#8412

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:library-is-compiledtautschnig/cbmc:library-is-compiledCopy head branch name to clipboard