Handle copy on empty str/length zero data#235

avanhatt merged 4 commits into

model-checking:main-152-2021-06-17model-checking/kani:main-152-2021-06-17from

avanhatt:empty-str-memcpyavanhatt/rmc:empty-str-memcpyCopy head branch name to clipboard