Make regression tests work when cvc5 is not available#8214

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/portabilitytautschnig/cbmc:bugfixes/portabilityCopy head branch name to clipboard