Code

Add tests for fixed issues.#3484

Code

Merged

carolynzech merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:tests-for-issuescarolynzech/kani:tests-for-issuesCopy head branch name to clipboardSep 3, 2024

+49

Commits

Commits on Sep 3, 2024

• add test for issue 3022

  carolynzech

  committed
  8f4c07d

  Copy full SHA for 8f4c07d

• add tests for issues 2239 and 2732

  carolynzech

  committed
  2db3d3b

  Copy full SHA for 2db3d3b

• Merge branch 'issue-3022-test' into tests-for-issues

  carolynzech

  committed
  29a009c

  Copy full SHA for 29a009c

• add copyright

  carolynzech

  committed
  d596329

  Copy full SHA for d596329

• remove issue 2732

  carolynzech

  committed
  cb79bdb

  Copy full SHA for cb79bdb