C library: model asprintf, test {v,}asprintf#8237

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/asprintftautschnig/cbmc:features/asprintfCopy head branch name to clipboard