Code

Add target selection for cargo kani#2507

Code

Merged

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-targetscelinval/kani-dev:issue-xxxx-targetsCopy head branch name to clipboardJun 7, 2023

+324-23

Commits

Commits on Jun 5, 2023

• Add target selection for cargo kani

  Show description for 937e114
  celinval

  committed
  937e114

  Copy full SHA for 937e114

Commits on Jun 7, 2023

• Merge remote-tracking branch 'origin/main' into issue-xxxx-targets

  celinval

  committed
  12bf832

  Copy full SHA for 12bf832

• Address comments:

  Show description for a273682
  celinval

  committed
  a273682

  Copy full SHA for a273682