Add missing member initializers of string_constraintst-typed value [blocks: #2310]#3366

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-member-inittautschnig/cbmc:vs-member-initCopy head branch name to clipboard