Code

Add Rust tests and Kani workflow#9

Code

Merged

celinval merged 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom celinval:verify-0000-cicelinval/rust-dev:verify-0000-ciCopy head branch name to clipboardJun 9, 2024

+135-1

Commits

Commits on Jun 7, 2024

• Add Rust tests and Kani workflow

  celinval

  committed
  6134b8c

  Copy full SHA for 6134b8c

Commits on Jun 8, 2024

• Add MacOS to Kani workflow

  celinval

  committed
  e21d3f9

  Copy full SHA for e21d3f9