pub fn prop010_cargo_options_strategy(&self) -> impl Strategy<Value = CargoOptions<'_>> {
        let omitted_packages = hash_set(self.prop010_id_strategy(), 0..4);
        (
            any::<CargoResolverVersion>(),
            any::<bool>(),
            any::<InitialsPlatform>(),
            any::<PlatformSpec>(),
            any::<PlatformSpec>(),
            omitted_packages,
        )
            .prop_map(
                |(
                    version,
                    include_dev,
                    initials_platform,
                    host_platform,
                    target_platform,
                    omitted_packages,
                )| {
                    let mut options = CargoOptions::new();
                    options
                        .set_resolver(version)
                        .set_include_dev(include_dev)
                        .set_initials_platform(initials_platform)
                        .set_host_platform(host_platform)
                        .set_target_platform(target_platform)
                        .add_omitted_packages(omitted_packages);
                    options
                },
            )
    }
/// Returns a `Strategy` that generates a random `CargoOptions` from this graph.
///
/// Requires the `proptest1` feature to be enabled.
Returns a `Strategy` that generates a random `CargoOptions` from this graph.
Requires the `proptest1` feature to be enabled.
Returns a ` Strategy ` that generates a random ` CargoOptions ` from this graph . Requires the ` proptest1 ` feature to be enabled .
pub fn prop010_cargo_options_strategy(&self) -> impl Strategy<Value = CargoOptions<'_>> {
        let omitted_packages = hash_set(self.prop010_id_strategy(), 0..4);
        (
            any::<CargoResolverVersion>(),
            any::<bool>(),
            any::<InitialsPlatform>(),
            any::<PlatformSpec>(),
            any::<PlatformSpec>(),
            omitted_packages,
        )
            .prop_map(
                |(
                    version,
                    include_dev,
                    initials_platform,
                    host_platform,
                    target_platform,
                    omitted_packages,
                )| {
                    let mut options = CargoOptions::new();
                    options
                        .set_resolver(version)
                        .set_include_dev(include_dev)
                        .set_initials_platform(initials_platform)
                        .set_host_platform(host_platform)
                        .set_target_platform(target_platform)
                        .add_omitted_packages(omitted_packages);
                    options
                },
            )
    }
pub fn prop010_cargo_options_strategy ( & self ) -> impl Strategy < Value = CargoOptions < ' _ > > { let omitted_packages = hash_set ( self . prop010_id_strategy ( ) , 0 .. 4 ) ; ( any :: < CargoResolverVersion > ( ) , any :: < bool > ( ) , any :: < InitialsPlatform > ( ) , any :: < PlatformSpec > ( ) , any :: < PlatformSpec > ( ) , omitted_packages , ) . prop_map ( | ( version , include_dev , initials_platform , host_platform , target_platform , omitted_packages , ) | { let mut options = CargoOptions :: new ( ) ; options . set_resolver ( version ) . set_include_dev ( include_dev ) . set_initials_platform ( initials_platform ) . set_host_platform ( host_platform ) . set_target_platform ( target_platform ) . add_omitted_packages ( omitted_packages ) ; options } , ) }
Returns a `Strategy` that generates a random `CargoOptions` from this graph.
Returns a ` Strategy ` that generates a random ` CargoOptions ` from this graph .
&self
&self