propfuzz 0.0.1

Combine property-based testing and fuzzing.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

// Copyright (c) The propfuzz Contributors
// SPDX-License-Identifier: MIT OR Apache-2.0

//! Propfuzz with bad arguments.

use propfuzz::propfuzz;

/// Arguments of the wrong type (note multiple errors).
#[propfuzz(cases = true, fork = 1024)]
fn wrong_type1(_: u8) {}

/// Basic test for repeated arguments.
#[propfuzz(cases = 1024, cases = 2048)]
fn repeated1(_: Vec<u8>) {}

#[propfuzz(cases = 1024)]
#[propfuzz(cases = 2048)]
fn repeated2(_: Vec<u8>) {}

/// Unsupported attribute kinds.
#[propfuzz]
#[propfuzz(wat)]
#[propfuzz = "wat"]
fn unsupported_kinds(_: u8) {}

/// Repeated arguments and strategies.
#[propfuzz(cases = 256)]
#[propfuzz(cases = 512)]
fn repeated_strategy(
    #[propfuzz(strategy = "any::<u8>()")]
    #[propfuzz(strategy = "any::<u8>()")]
    _: u8,
) {
}

fn main() {}