[DOCS] Add documentation on CBMC Shadow Memory intrinsics#7913

esteffin merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:shadow_mem_docsNlightNFotis/cbmc:shadow_mem_docsCopy head branch name to clipboard