Enable parallel regression test execution for Windows VS 2022#8856

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:parallel-testtautschnig/cbmc:parallel-testCopy head branch name to clipboard