Code

Get rid of the legacy mode#2427

Code

Merged

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-legacycelinval/kani-dev:issue-xxxx-legacyCopy head branch name to clipboardMay 4, 2023

+8-15

Commits

Commits on May 3, 2023

• Get rid of the legacy mode

  Show description for d1c2da8
  celinval

  committed
  d1c2da8

• Don't run std regression when using json

  Show description for faf1d52
  celinval

  committed
  faf1d52

Commits on May 4, 2023

• Merge branch 'main' into issue-xxxx-legacy

  celinval

  authored
  e5ba6b9