Code

Add a #[derive(Invariant)] macro#3250

Code

Merged

adpaco-aws merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:derive-invariantadpaco-aws/rmc:derive-invariantCopy head branch name to clipboardJun 13, 2024

+244-2

Commits

Commits on Jun 10, 2024

• Add a #[derive(Invariant)] macro

  adpaco-aws

  committed
  f7cb4a1

  Copy full SHA for f7cb4a1

• Format fix

  adpaco-aws

  committed
  1720300

  Copy full SHA for 1720300

• Fix empty struct test

  adpaco-aws

  committed
  64d146d

  Copy full SHA for 64d146d

Commits on Jun 13, 2024

• Merge branch 'main' into derive-invariant

  adpaco-aws

  committed
  9301495

  Copy full SHA for 9301495

• Add test in which the invariant check fails

  adpaco-aws

  committed
  dbe03cd

  Copy full SHA for dbe03cd

• Newline

  adpaco-aws

  committed
  4795210

  Copy full SHA for 4795210

• Add comment and link to issue

  adpaco-aws

  committed
  9a8dbb2

  Copy full SHA for 9a8dbb2