Incremental SMT back-end no longer requires --slice-formula#7432

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/smt-incrtautschnig/cbmc:cleanup/smt-incrCopy head branch name to clipboard