Re-use C tests to exercise C++ front-end [blocks: #4558]#4558

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c-c++-teststautschnig/cbmc:c-c++-testsCopy head branch name to clipboard