Code

Fix validity checks for char#3853

Code

Merged

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-3241-valid-charcelinval/kani-dev:issue-3241-valid-charCopy head branch name to clipboardJan 25, 2025

+255-24

Commits

Commits on Jan 24, 2025

• Fix validity checks for char

  Show description for 9fb08ce
  celinval

  committed
  9fb08ce

  Copy full SHA for 9fb08ce