proptest-http 0.1.0

impl proptest::Arbitrary for http::{Request,Response,Uri}
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

extern crate proptest;
extern crate proptest_http;

use proptest::arbitrary::Arbitrary;
use proptest::strategy::{Strategy, ValueTree};

fn main() {
    let mut r = proptest::test_runner::TestRunner::default();

    loop {
        let mut u = proptest_http::ArbitraryRequest::arbitrary()
            .new_tree(&mut r)
            .unwrap();
        for _ in 0..10 {
            for _ in 0..10 {
                u.simplify();
            }
            u.current();
        }

        let mut u = proptest_http::ArbitraryResponse::arbitrary()
            .new_tree(&mut r)
            .unwrap();
        for _ in 0..10 {
            for _ in 0..10 {
                u.simplify();
            }
            u.current();
        }
    }
}