contracts

library0.6.7rscratesunverified

Design-by-contract attributes for Rust.

# Cargo.toml
[dependencies]
contracts = "0.6.7"

INSTALL

IMPORT

SIG · CONTRACTS

contracts

testingrustv0.6.7

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

contracts

✓ use contracts::*;

Use design-by-contract annotations.

use contracts::*; #[requires(x > 0)] #[ensures(ret > 0)] fn double(x: i32) -> i32 { x * 2 } fn main() { println!("{}", double(5)); }

Debug

Known issues

gotchaContracts are only checked at runtime when the 'contracts' feature is enabled.

fix

Enable the 'contracts' feature in your Cargo.toml: contracts = { features = ["contracts"] }

affects: >=0.6.0

Upgrade

Version history

0.6.7latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

10 hits · last 30 days

node

Amazon

OpenAI (training)

Resources