Solver factory: all solvers are stack_decision_proceduret#8408

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:solver-factory-no-dynamic_casttautschnig/cbmc:solver-factory-no-dynamic_castCopy head branch name to clipboard