1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
use ::proptest::prelude::*;

pub fn version() -> BoxedStrategy<semver::Version> {
    let major = any::<u64>();
    let minor = any::<u64>();
    let patch = any::<u64>();
    (major, minor, patch)
        .prop_map(|(major, minor, patch)| semver::Version {
            major,
            minor,
            patch,
            pre: Default::default(),
            build: Default::default(),
        })
        .boxed()
}