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

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

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

fn max_types(&self) -> usize

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

fn max_imports(&self) -> usize

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

fn max_funcs(&self) -> usize

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

fn max_globals(&self) -> usize

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

fn max_exports(&self) -> usize

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

fn max_element_segments(&self) -> usize

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

fn max_elements(&self) -> usize

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

fn max_data_segments(&self) -> usize

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

fn max_instructions(&self) -> usize

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

fn max_memories(&self) -> usize

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

fn max_tables(&self) -> usize

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

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).

fn min_uleb_size(&self) -> u8

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

fn bulk_memory_enabled(&self) -> bool

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

fn reference_types_enabled(&self) -> bool

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

fn module_linking_enabled(&self) -> bool

Determines whether the module linking proposal is enabled.

fn max_aliases(&self) -> usize

Returns the maximal size of the alias section.

fn max_nesting_depth(&self) -> usize

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

fn min_types(&self) -> usize

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

fn min_imports(&self) -> usize

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

fn min_funcs(&self) -> usize

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

fn min_globals(&self) -> usize

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

fn min_exports(&self) -> usize

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

fn min_element_segments(&self) -> usize

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

fn min_elements(&self) -> usize

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

fn min_data_segments(&self) -> usize

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

fn min_memories(&self) -> u32

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

fn min_tables(&self) -> u32

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

fn memory_max_size_required(&self) -> bool

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

fn max_instances(&self) -> usize

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

fn max_modules(&self) -> usize

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

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

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

fn allow_start_export(&self) -> bool

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

fn max_type_size(&self) -> u32

Returns the maximal effective size of any type generated by wasm-smith.

impl Debug for SwarmConfig

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

Formats the value using the given formatter.

impl Default for SwarmConfig

fn default() -> SwarmConfig

Returns the "default value" for a type.