New option --mmio-regions to specify memory regions#6747

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

tautschnig:feature/mmio-cmdlinetautschnig/cbmc:feature/mmio-cmdlineCopy head branch name to clipboard