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();

    for _ in 0..10 {
        let mut u = proptest_http::ArbitraryRequest::arbitrary()
            .new_tree(&mut r)
            .unwrap();
        for _ in 0..3 {
            println!("{:#?}", u.current().0);
            for _ in 0..10 {
                u.simplify();
            }
        }
        println!()
    }
}