Fix validity checks for char#3853

celinval merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3241-valid-charcelinval/kani-dev:issue-3241-valid-charCopy head branch name to clipboard