Implement check for write_bytes#3108

tautschnig merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2998-write-bytescelinval/kani-dev:issue-2998-write-bytesCopy head branch name to clipboard