Code

Fix issue 2589#2787

Code

Merged

JustusAdam merged 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom JustusAdam:issue-2589JustusAdam/kani:issue-2589Copy head branch name to clipboardSep 25, 2023

+78-2

Commits

Commits on Sep 22, 2023

• Fix issue 2589

  JustusAdam

  committed
  c649449

Commits on Sep 23, 2023

• Move test case

  JustusAdam

  committed
  03e226a

• Add function documentation

  JustusAdam

  committed
  bf3209a

• Clippy suggestion

  JustusAdam

  committed
  1c99796

Commits on Sep 25, 2023

• Update kani-compiler/src/kani_middle/reachability.rs

  Show description for fba38cb
  

  JustusAdam

  and

  feliperodri

  authored
  fba38cb