Fix perl regular expressions in regression test descriptions#2198

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-test-desctautschnig/cbmc:fix-test-descCopy head branch name to clipboard