cvlr-nondet
| Crates.io | cvlr-nondet |
| lib.rs | cvlr-nondet |
| version | 0.5.0 |
| created_at | 2025-03-17 14:59:20.053862+00 |
| updated_at | 2025-12-19 21:46:44.315621+00 |
| description | Non-deterministic (i.e., symbolic) values |
| homepage | https://www.certora.com |
| repository | https://github.com/Certora/cvlr |
| max_upload_size | |
| id | 1595582 |
| size | 9,331 |
(1arie1)
documentation
https://docs.rs/cvlr/latest
README
🐕 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