Code

Add test for wrapping intrinsics#1070

Code

Merged

celinval merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:wrapping-auditadpaco-aws/rmc:wrapping-auditCopy head branch name to clipboardApr 20, 2022

+36

Commits

Commits on Apr 19, 2022

• Add test for wrapping intrinsics

  adpaco-aws

  committed
  4a77597

  Copy full SHA for 4a77597

Commits on Apr 20, 2022

• Merge branch 'main' into wrapping-audit

  adpaco-aws

  authored
  fb5fce2

  Copy full SHA for fb5fce2