Factor out solver resource limits capability#4449

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:solver-resource-limitspeterschrammel/cbmc:solver-resource-limitsCopy head branch name to clipboard