Set paths-symex-explore-all when unwinding-assertions defaults to true#8861

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

tautschnig:fix-path-lifo-non-static-propstautschnig/cbmc:fix-path-lifo-non-static-propsCopy head branch name to clipboard