Code

Harness for CStr::is_empty#194

Code

Merged

tautschnig merged 6 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

rajathkotyal:c-0013-yenyunw-is-emptyrajathkotyal/verify-rust-std:c-0013-yenyunw-is-emptyCopy head branch name to clipboard

Dec 1, 2024

Commits

Commits on Nov 28, 2024

• Add contracts and harness for from_bytes_with_nul_unchecked

  Yenyun035

  committed
  cce570c

  Copy full SHA for cce570c

• Add is_empty harness

  Yenyun035

  committed
  fa45330

  Copy full SHA for fa45330

• Merge branch 'main' into c-0013-yenyunw-is-empty

  Yenyun035

  authored
  ef7e100

  Copy full SHA for ef7e100

Commits on Nov 29, 2024

• Merge branch 'main' into c-0013-yenyunw-is-empty

  Yenyun035

  authored
  1c35aa1

  Copy full SHA for 1c35aa1

• Merge branch 'main' into c-0013-yenyunw-is-empty

  Yenyun035

  authored
  19def6e

  Copy full SHA for 19def6e

Commits on Nov 30, 2024

• Small optimization of arbitray_cstr

  Yenyun035

  committed
  9d4476f

  Copy full SHA for 9d4476f