Code

Remove symtab json support#3695

Code

Merged

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-symtab-jsoncelinval/kani-dev:issue-xxxx-symtab-jsonCopy head branch name to clipboardNov 8, 2024

+7-76

Commits

Commits on Nov 8, 2024

• Remove symtab json support

  Show description for d5ed53b
  celinval

  committed
  d5ed53b