bolero-kani-0.13.0
- bolero-kani 0.13.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- camshaft
- adpaco-aws
- boquan-fang
- Dependencies
- bolero-engine ^0.13 normal optional
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Crate bolero_kani

bolero_kani0.13.0

All Items

Crate bolero_kani

Expand description

kani plugin for bolero

This crate should not be used directly. Instead, use bolero.