Struct wasm_smith::SwarmConfig

pub struct SwarmConfig { /* fields omitted */ }

A module configuration that uses swarm testing.

Dynamically -- but still deterministically, via its Arbitrary implementation -- chooses configuration options.

Note that we pick only maximums, not minimums, here because it is more complex to describe the domain of valid configs when minima are involved (min <= max for each variable) and minima are mostly used to ensure certain elements are present, but do not widen the range of generated Wasm modules.

Trait Implementations

impl Arbitrary for SwarmConfig

pub fn arbitrary(u: &mut Unstructured<'_>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

pub fn arbitrary_take_rest(u: Unstructured<'_>) -> Result<Self, Error>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

pub fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

pub fn shrink(&self) -> Box<dyn Iterator<Item = Self> + 'static, Global>

Generate an iterator of derived values which are "smaller" than the original self instance.

impl Clone for SwarmConfig

pub fn clone(&self) -> SwarmConfig

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Config for SwarmConfig

pub fn max_types(&self) -> usize

The maximum number of types to generate. Defaults to 100.

pub fn max_imports(&self) -> usize

The maximum number of imports to generate. Defaults to 100.

pub fn max_funcs(&self) -> usize

The maximum number of functions to generate. Defaults to 100. This includes imported functions.

pub fn max_globals(&self) -> usize

The maximum number of globals to generate. Defaults to 100. This includes imported globals.

pub fn max_exports(&self) -> usize

The maximum number of exports to generate. Defaults to 100.

pub fn max_element_segments(&self) -> usize

The maximum number of element segments to generate. Defaults to 100.

pub fn max_elements(&self) -> usize

The maximum number of elements within a segment to generate. Defaults to 100.

pub fn max_data_segments(&self) -> usize

The maximum number of data segments to generate. Defaults to 100.

pub fn max_instructions(&self) -> usize

The maximum number of instructions to generate in a function body. Defaults to 100.

pub fn max_memories(&self) -> usize

The maximum number of memories to use. Defaults to 1. This includes imported memories.

pub fn max_tables(&self) -> usize

The maximum number of tables to use. Defaults to 1. This includes imported tables.

pub fn max_memory_pages(&self) -> u32

The maximum, in 64k Wasm pages, of any memory's initial or maximum size. Defaults to 2^16 = 65536 (the maximum possible for 32-bit Wasm).

pub fn min_uleb_size(&self) -> u8

The minimum size, in bytes, of all leb-encoded integers. Defaults to 1.

pub fn bulk_memory_enabled(&self) -> bool

Determines whether the bulk memory proposal is enabled for generating insructions. Defaults to false.

pub fn reference_types_enabled(&self) -> bool

Determines whether the reference types proposal is enabled for generating insructions. Defaults to false.

pub fn module_linking_enabled(&self) -> bool

Determines whether the module linking proposal is enabled.

pub fn max_aliases(&self) -> usize

Returns the maximal size of the alias section.

pub fn max_nesting_depth(&self) -> usize

Returns the maximal nesting depth of modules with the module linking proposal.

pub fn min_types(&self) -> usize

The minimum number of types to generate. Defaults to 0.

pub fn min_imports(&self) -> usize

The minimum number of imports to generate. Defaults to 0.

pub fn min_funcs(&self) -> usize

The minimum number of functions to generate. Defaults to 0. This includes imported functions.

pub fn min_globals(&self) -> usize

The minimum number of globals to generate. Defaults to 0. This includes imported globals.

pub fn min_exports(&self) -> usize

The minimum number of exports to generate. Defaults to 0.

pub fn min_element_segments(&self) -> usize

The minimum number of element segments to generate. Defaults to 0.

pub fn min_elements(&self) -> usize

The minimum number of elements within a segment to generate. Defaults to 0.

pub fn min_data_segments(&self) -> usize

The minimum number of data segments to generate. Defaults to 0.

pub fn min_memories(&self) -> u32

The minimum number of memories to use. Defaults to 0. This includes imported memories.

pub fn min_tables(&self) -> u32

The minimum number of tables to use. Defaults to 0. This includes imported tables.

pub fn memory_max_size_required(&self) -> bool

Whether every Wasm memory must have a maximum size specified. Defaults to false.

pub fn max_instances(&self) -> usize

The maximum number of instances to use. Defaults to 10. This includes imported instances.

pub fn max_modules(&self) -> usize

The maximum number of modules to use. Defaults to 10. This includes imported modules.

pub fn memory_offset_choices(&self) -> (u32, u32, u32)

Control the probability of generating memory offsets that are in bounds vs. potentially out of bounds.

pub fn allow_start_export(&self) -> bool

Determines whether a start export may be included. Defaults to true.

impl Debug for SwarmConfig

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SwarmConfig

pub fn default() -> SwarmConfig

Returns the "default value" for a type.