Support Visual Studio's forward enum declarations#2344

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-vs-enumtautschnig/cbmc:c++-vs-enumCopy head branch name to clipboard