cvlr-asserts 0.4.0

Asserts and assumes for post- and pre-conditions
Documentation
  • Coverage
  • 0%
    0 out of 34 items documented0 out of 1 items with examples
  • Size
  • Source code size: 5.54 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 710.08 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • Homepage
  • Certora/cvlr
    4 2 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • 1arie1

Certora Verification Language for Rust (CVLR)

CVLR, pronounced "cavalier", is a set of Rust libraries that provide verification primitives for Rust. We currently use it for writing formal specifications for Solana and Soroban smart contracts. Examples of respective usage can be found here and here.