Code

Add a test for ctpop#1048

Code

Merged

adpaco-aws merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:ctpop-auditadpaco-aws/rmc:ctpop-auditCopy head branch name to clipboardApr 15, 2022

+73

Commits

Commits on Apr 14, 2022

• Add a test for ctpop

  adpaco-aws

  committed
  923357c

• Fix format

  adpaco-aws

  committed
  4946292

Commits on Apr 15, 2022

• Merge branch 'main' into ctpop-audit

  adpaco-aws

  authored
  f7b355a