KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #developer-tools #ai-agent #claude-code #codex #typescript #ai-agents #deepseek-harness #mcp #cli #rust

bolero

★ 254 Open GitHub ↗

property testing and verification front-end for Rust

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# bolero

[![Build Status](https://github.com/camshaft/bolero/workflows/ci/badge.svg)](https://github.com/camshaft/bolero/actions?workflow=ci)
[![Latest version](https://img.shields.io/crates/v/bolero.svg)](https://crates.io/crates/bolero)
[![Documentation](https://docs.rs/bolero/badge.svg)](https://docs.rs/bolero)
[![License](https://img.shields.io/crates/l/bolero.svg)](https://github.com/camshaft/bolero/blob/master/LICENSE)

fuzz and property testing front-end for Rust

## Book

A copy of the Bolero Book can be found here: http://camshaft.github.io/bolero

## Quick Start

1. Install subcommand and add a dependency

```console
    $ cargo add --dev bolero
    $ cargo install -f cargo-bolero
    ```

2. Write a test using [`bolero::check!`](https://docs.rs/bolero/latest/bolero/macro.check.html) macro:

```rust
    pub fn buggy_add(x: u32, y: u32) -> u32 {
        if x == 12976 && y == 14867 {
            return x.wrapping_sub(y);
        }
        return x.wrapping_add(y);
    }

#[test]
    fn fuzz_add() {
        bolero::check!()
            .with_type()
            .cloned()
            .for_each(|(a, b)| buggy_add(a, b) == a.wrapping_add(b));
    }
    ```

3. Run the test with `cargo bolero`

```console
    $ cargo bolero test fuzz_add

# ... some moments later ...

======================== Test Failure ========================

Input:
    (
        12976,
        14867,
    )

Error:
    test returned `false`

==============================================================
    ```

### Linux Installation

`cargo-bolero` needs a couple of libraries installed to compile. If these libraries aren't
available the requirement can be relaxed by executing `cargo install cargo-bolero --no-default-features -f`

#### Debian/Ubuntu

```bash
$ sudo apt install binutils-dev libunwind-dev
```

bolero

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README