cvlr-asserts 0.5.0

Asserts and assumes for post- and pre-conditions

Coverage
0%
0 out of 61 items documented0 out of 1 items with examples
Size
Source code size: 27.16 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 1.77 MB 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
- macrotest ^1 dev
Versions
Owners

🐕 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 in the Solana Examples and Sunbeam Tutorials repositories.

Refer to the Certora documentation for further information about the verification of Solana and Soroban smart contracts.

Building and Testing

To build the library, run:

cargo build

To test the library, run:

cargo test

For testing purposes, cargo-expand is required. It can be installed by running:

cargo install cargo-expand

Release

Current release: 0.5.0