Code

Complete tests for count intrinsics#883

Code

Merged

adpaco-aws merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:count-auditadpaco-aws/rmc:count-auditCopy head branch name to clipboardMar 14, 2022

+187-40

Commits

Commits on Mar 3, 2022

• Complete tests for count intrinsics

  adpaco-aws

  committed
  bef1597

• Use kani::any() instead of concrete value in test_ctlz_nonzero

  adpaco-aws

  committed
  0ac5186

Commits on Mar 14, 2022

• Merge branch 'main' into count-audit

  adpaco-aws

  authored
  ac453d6