Code

Tests for assume#1015

Code

Merged

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

+21

Commits

Commits on Apr 5, 2022

• Tests for assume

  adpaco-aws

  committed
  b150db9

Commits on Apr 6, 2022

• Merge branch 'main' into assume-audit

  adpaco-aws

  authored
  97ee820