Registry / other / mirai-annotations

mirai-annotations

library1.12.0rscratesunverified

Macros that provide source code annotations for the MIRAI static analyzer.

# Cargo.toml
[dependencies]
mirai-annotations = "1.12.0"

INSTALL

IMPORT

SIG · MIRAI-ANNOTATIONS

mirai-annotations

otherrustv1.12.0

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.

precondition

✓ use mirai_annotations::*;

Uses a precondition annotation to assert b is non-zero.

use mirai_annotations::*; fn divide(a: i32, b: i32) -> i32 { precondition!(b != 0); a / b }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

1.12.0latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

4 hits · last 30 days

node

Resources