Code

Replace deprecated --enable-stubbing#133

Code

Merged

jaisnan merged 4 commits intomodel-checking:mainmodel-checking/kani-vscode-extension:mainfrom celinval:z-stubbingcelinval/kani-vscode-extension-dev:z-stubbingCopy head branch name to clipboardOct 17, 2023

+8-14

Commits

Commits on Sep 8, 2023

• Update constants.ts

  Show description for a4a49dd
  celinval

  authored
  a4a49dd

  Copy full SHA for a4a49dd

• Update kaniCommandCreate.ts

  celinval

  authored
  ab6a4b0

  Copy full SHA for ab6a4b0

Commits on Oct 17, 2023

• Update kaniCommandCreate.ts

  Show description for 8c7aed1
  celinval

  authored
  8c7aed1

  Copy full SHA for 8c7aed1

• Merge branch 'main' into z-stubbing

  celinval

  authored
  2186b41

  Copy full SHA for 2186b41