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