Struct wasm_smith::ConfiguredModule

pub struct ConfiguredModule<C> where
    C: Config,  { /* fields omitted */ }

A pseudo-random generated WebAssembly file with custom configuration.

If you don't care about custom configuration, use Module instead.

For details on configuring, see the Config trait.

Implementations

impl<C> ConfiguredModule<C> where
    C: Config, 

pub fn to_bytes(&self) -> Vec<u8>

Encode this Wasm module into bytes.

impl<C> ConfiguredModule<C> where
    C: Config, 

pub fn ensure_termination(&mut self, default_fuel: u32) -> u32

Ensure that all of this Wasm module's functions will terminate when executed.

This adds a new mutable, exported global to the module to keep track of how much "fuel" is left. Fuel is decremented at the head of each loop and function. When fuel reaches zero, a trap is raised.

The index of the fuel global is returned, so that you may control how much fuel the module is given.

impl<C: Config> ConfiguredModule<C>

pub fn config(&self) -> &C

Returns a reference to the internal configuration.

Trait Implementations

impl<C: Config> Arbitrary for ConfiguredModule<C>

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<C: Debug> Debug for ConfiguredModule<C> where
    C: Config, 

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

Formats the value using the given formatter.

impl<C: Default> Default for ConfiguredModule<C> where
    C: Config, 

pub fn default() -> ConfiguredModule<C>

Returns the "default value" for a type.