Use CaDiCaL for selected THOROUGH regression tests#7543

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/thorough-cadicaltautschnig/cbmc:cleanup/thorough-cadicalCopy head branch name to clipboard