Code

Deprecate any_slice#2789

Code

Merged

zhassan-aws merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:deprecate-any-slicezhassan-aws/kani:deprecate-any-sliceCopy head branch name to clipboardSep 26, 2023

+62-66

Commits

Commits on Sep 25, 2023

• Deprecate any_slice

  zhassan-aws

  committed
  cb2ea04

  Copy full SHA for cb2ea04

• Update or delete tests that use any_slice

  zhassan-aws

  committed
  607bed8

  Copy full SHA for 607bed8

Commits on Sep 26, 2023

• Merge branch 'main' into deprecate-any-slice

  celinval

  authored
  4f979ce

  Copy full SHA for 4f979ce